CoRR, August 2014
Stephen Guy, Rolf Schwitter:
Architecture of a Web-based Predictive Editor for Controlled Natural Language Processing.
Michael L. Winterrose, Kevin M. Carter:
Strategic Evolution of Adversaries Against Temporal Platform Diversity Active Cyber Defenses.
Gábor E. Gévay, Gábor Danner:
Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker.
Ramtin Pedarsani, Kangwook Lee, Kannan Ramchandran:
PhaseCode: Fast and Efficient Compressive Phase Retrieval based on Sparse-Graph-Codes.
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Learning From Ordered Sets and Applications in Collaborative Ranking.
Adel Dokhanchi, Bardh Hoxha, Georgios E. Fainekos:
On-Line Monitoring for Temporal Logic Robustness.
Bob Coecke, Chris Heunen, Aleks Kissinger:
Categories of Quantum and Classical Channels (extended abstract). 1-14
Katie Barr, Viv Kendon:
The expressive power of quantum walks in terms of language acceptance. 39-51

Mehrab Norouzitallab, Valiallah Monajjemi, Saeed Shiry Ghidary, Mohammad Bagher Menhaj:
A Framework for learning multi-agent dynamic formation strategy in real-time applications.
Di Zhang, Zhenyu Zhou, Keping Yu, Takuro Sato:
Energy Efficiency Scheme with Cellular Partition Zooming for Massive MIMO Systems.
Ross Adelman, Nail A. Gumerov, Ramani Duraiswami:
Software for Computing the Spheroidal Wave Functions Using Arbitrary Precision Arithmetic.
Anup Kumar Das, Sanjaya Mishra:
Genesis of Altmetrics or Article-level Metrics for Measuring Efficacy of Scholarly Communications: Current Perspectives.
Sandeep Kumar, Vivek Kumar Sharma, Rajani Kumari:
Memetic Search in Differential Evolution Algorithm.
Sandeep Kumar, Vivek Kumar Sharma, Rajani Kumari:
Randomized Memetic Artificial Bee Colony Algorithm.
Waldir Aranha Moreira Junior, Paulo Mendes:
Impact of Human Behavior on Social Opportunistic Forwarding.

Nicolas Robinson-Garcia, Daniel Torres-Salinas, Zohreh Zahedi, Rodrigo Costas:
New data, new possibilities: Exploring the insides of Altmetric.com.
Kun Liu, Emilia Fridman, Laurentiu Hetel:
Networked control systems in the presence of scheduling protocols and communication delays.
Michael Möller, Martin Benning, Carola-Bibiane Schönlieb, Daniel Cremers:
Variational Depth from Focus Reconstruction.
Juliana Gambini, Julia Cassetti, María Magdalena Lucini, Alejandro C. Frery:
Parameter Estimation in SAR Imagery using Stochastic Distances and Asymmetric Kernels.
Toni Ernvall, Thomas Westerbäck, Camilla Hollanti:
Linear Locally Repairable Codes with Random Matrices.
Zaid Albataineh, Fathi M. Salem:
Convex Cauchy Schwarz Independent Component Analysis for Blind Source Separation.
Zaid Albataineh, Fathi M. Salem:
A RobustICA Based Algorithm for Blind Separation of Convolutive Mixtures.
Sebastian Blumenthal, Herman Bruyninckx:
Towards a Domain Specific Language for a Scene Graph based Robotic World Model.
Jesús Gómez-Vilardebó, Deniz Gündüz:
Smart Meter Privacy for Multiple Users in the Presence of an Alternative Energy Source.
Omer Lev, Joel Oren, Craig Boutilier, Jeffrey S. Rosenschein:
The Pricing War Continues: On Competitive Multi-Item Pricing.
Raghed El-Bardan, Engin Masazade, Onur Ozdemir, Yunghsiang S. Han, Pramod K. Varshney:
Permutation Trellis Coded Multi-level FSK Signaling to Mitigate Primary User Interference in Cognitive Radio Networks.


Rana Forsati, Mehrdad Mahdavi, Mehrnoush Shamsfard, Mohamed Sarwat:
Matrix Factorization with Explicit Trust and Distrust Relationships.

Siddhartha Sarma:
Beamforming for Secure Communication via Untrusted Relay Nodes Using Artificial Noise.

Chao Tian, Birenjith Sasidharan, Vaneet Aggarwal, Vinay A. Vaishampayan, P. Vijay Kumar:
Layered, Exact-Repair Regenerating Codes Via Embedded Error Correction and Block Designs.
Shay Kutten, Chhaya Trehan:
Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree.
Matthias Wählisch, Robert Schmidt, Thomas C. Schmidt, Olaf Maennel, Steve Uhlig:
When BGP Security Meets Content Deployment: Measuring and Analysing RPKI-Protection of Websites.
Tim Mattson, David A. Bader, Jonathan W. Berry, Aydin Buluç, Jack J. Dongarra, Christos Faloutsos, John Feo, John R. Gilbert, Joseph Gonzalez, Bruce Hendrickson, Jeremy Kepner, Charles E. Leiserson, Andrew Lumsdaine, David A. Padua, Stephen W. Poole, Steven P. Reinhardt, Mike Stonebraker, Steve Wallach, Andrew Yoo:
Standards for Graph Algorithm Primitives.
Matthias Feldotto, Christian Scheideler, Kalman Graffi:
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.
Mehrdad Farajtabar, Nan Du, Manuel Gomez-Rodriguez, Isabel Valera, Hongyuan Zha, Le Song:
Shaping Social Activity by Incentivizing Users.
Bei Yu, Subhendu Roy, Jhih-Rong Gao, David Z. Pan:
Triple Patterning Lithography (TPL) Layout Decomposition using End-Cutting (JM3 Special Session).
Joel Oren, Yuval Filmus, Yair Zick, Yoram Bachrach:
Power Distribution in Randomized Weighted Voting: the Effects of the Quota.
T. R. Gopalakrishnan Nair, A. P. Geetha, M. Asharani:
Methodology For Detection of QRS Pattern Using Secondary Wavelets.
T. R. Gopalakrishnan Nair, A. P. Geetha, M. Asharani:
Adaptive Wavelet Based Identification and Extraction of PQRST Combination in Randomly Stretching ECG Sequence.
Yoshimasa Takabatake, Yasuo Tabei, Hiroshi Sakamoto:
Online Pattern Matching for String Edit Distance with Moves.
Liang Sun, Matthew R. McKay:
Tomlinson-Harashima Precoding for Multiuser MIMO Systems with Quantized CSI Feedback and User Scheduling.
Fabio Ricciato:
Time to timestamp: opportunistic cooperative localization from reception time measurements.
Cengis Hasan, Jean-Marie Gorce, Eitan Altman:
Green Broadcast Transmission in Cellular Networks: A Game Theoretic Approach.
(Withdrawn) Improved Randomized Rounding using Random Walks.
Salman Beigi, Omid Etesami, Amin Gohari:
The Value of Help Bits in Randomized and Average-Case Complexity.
Da Zheng, Disa Mhembere, Randal C. Burns, Alexander S. Szalay:
FlashGraph: Processing Billion-Node Graphs on an Array of Commodity SSDs.
André L. L. de Aquino, Orlando Silva Junior, Alejandro César Frery, Édler Lins de Albuquerque, Raquel A. F. Mini:
MuSA: Multivariate Sampling Algorithm for Wireless Sensor Networks.

Vijay Gadepally, Ashok K. Krishnamurthy, Ümit Özgüner:
A Hands-on Education Program on Cyber Physical Systems for High School Students.
Xiaocheng Huang, Zhuowei Bao, Susan B. Davidson, Tova Milo, Xiaojie Yuan:
Answering Regular Path Queries on Workflow Provenance.
Vito Cerone, Jean-Bernard Lasserre, Dario Piga, Diego Regruto:
A unified framework for solving a general class of conditional and robust set-membership estimation problems.
Awais Khawar, Ahmed Abdel-Hadi, T. Charles Clancy:
Target Detection Performance of Spectrum Sharing MIMO Radars.
Xinchen Zhang, Jeffrey G. Andrews:
Downlink Cellular Network Analysis with Multi-slope Path Loss Models.
Animashree Anandkumar, Rong Ge, Majid Janzamin:
Provable Learning of Overcomplete Latent Variable Models: Semi-supervised and Unsupervised Settings.
(Withdrawn) Co-channel Interference Mitigation for Wireless Body Area Networks Coexistence Using a Non-Cooperative Game.

Ramoni O. Adeogun, Paul D. Teal, Pawel A. Dmochowski:
Parametric Schemes for Prediction of Wideband MIMO Wireless Channels.
Prakash Ishwar:
A note on the sum-rate-distortion function of some lossy source coding problems involving infinite-valued distortion functions.
T. R. Gopalakrishnan Nair, Meenakshi Malhotra:
Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge.
Viet Anh Nguyen, Jiangbo Lu, Shengkui Zhao, Tien Dung Vu, Hongsheng Yang, Douglas L. Jones, Minh N. Do:
ITEM: Immersive Telepresence for Entertainment and Meetings - A Practical Approach.
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
Approximate Consensus in Highly Dynamic Networks.
Matteo Brunelli, Michele Fedrizzi:
Boundary properties of the inconsistency of pairwise comparisons in group decisions.
Günther Brandner, Johannes Klinglmayr, Udo Schilcher, Dominik Egarter, Christian Bettstetter:
Precision of Pulse-Coupled Oscillator Synchronization on FPGA-Based Radios.
Chris W. Muelder, Nick Leaf, Carmen Sigovan, Kwan-Liu Ma:
A Moving Least Squares Based Approach for Contour Visualization of Multi-Dimensional Data.
Rafael A. Berri, Alexandre Gonçalves Silva, Rafael S. Parpinelli, Elaine Girardi, Rangel Arthur:
A Pattern Recognition System for Detecting Use of Mobile Phones While Driving.
Yue-Jiao Gong, Jun Zhang:
Real-Time Traffic Signal Control for Modern Roundabouts by Using Particle Swarm Optimization-Based Fuzzy Controller.
Krystal Blanco, Aida Briceno, Andrea Steele, Javier Tapia, John McKay, Sherry Towers, Kamuela E. Yong:
The Dynamics of Offensive Messages in the World of Social Media: the Control of Cyberbullying on Twitter.
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda:
Reducing the Complexity of Quantified Formulas via Variable Elimination.
David R. M. Thompson, Kevin Leyton-Brown:
Computational Analysis of Perfect-Information Position Auctions.
Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri:
A Dual-Engine for Early Analysis of Critical Systems.
Konstantin Avrachenkov, Remco van der Hofstad, Marina Sokol:
Personalized PageRank with Node-dependent Restart.
Xin Kang, Yongdong Wu:
A Trust-based Pollution Attack Prevention Scheme in Peer-to-Peer Streaming Networks.
Xin Kang, Yongdong Wu:
Incentive Mechanism Design for Heterogeneous Peer-to-Peer Networks: A Stackelberg Game Approach.
Amirali Abdullah, Alexandr Andoni, Ravindran Kannan, Robert Krauthgamer:
Spectral Approaches to Nearest Neighbor Search.
Yu Liu, Osvaldo Simeone, Alexander M. Haimovich, Wei Su:
Modulation Classification via Gibbs Sampling Based on a Latent Dirichlet Bayesian Network.

David Avis, David Bremner, Hans Raj Tiwary, Osamu Watanabe:
Polynomial size linear programs for non-bipartite matching problems and other problems in P.


Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg:
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism.
Kai Ying, Zhenhua Yu, Robert J. Baxley, G. Tong Zhou:
Optimization of Signal-to-Noise-and-Distortion Ratio for Dynamic Range Limited Nonlinearities.
Parinya Chalermsook, Bundit Laekhanukit, Danupon Nanongkai:
Pre-Reduction Graph Products: Hardnesses of Properly Learning DFAs and Approximating EDP on DAGs.
Lizhen Qu, Bjoern Andres:
Estimating Maximally Probable Constrained Relations by Mathematical Programming.
Jing Zhao, Lili Miao, Haiyang Fang, Qian-Ming Zhang, Min Nie, Tao Zhou:
Predicting missing links and their weights via reliable-route-based method.

Ross Adelman, Nail A. Gumerov, Ramani Duraiswami:
Semi-Analytical Computation of Acoustic Scattering by Spheroids and Disks.
Congmin Fan, Ying Jun Zhang, Xiaojun Yuan:
Dynamic Nested Clustering for Parallel PHY-Layer Processing in Cloud-RANs.
Hubie Chen, Stefan Mengel:
A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries.

Aleksandr Maksimenko:
A special place of Boolean quadratic polytopes among other combinatorial polytopes.
Duc-Hiep Chu, Joxan Jaffar:
A Framework to Synergize Partial Order Reduction with State Interpolation.

Abdelhakim Alali, Ismail Assayad, Mohamed Sadik:
Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2.
M. V. Panduranga Rao, K. Chandrashekar Shet:
Assessment of Response Time for New Multi Level Feedback Queue Scheduler.
Sebastian Risi, Jinhong Zhang, Rasmus Taarnby, Peter Greve, Jan Piskur, Antonios Liapis, Julian Togelius:
The Case for a Mixed-Initiative Collaborative Neuroevolution Approach.
Jayadev Acharya, Alon Orlitsky, Ananda Theertha Suresh, Himanshu Tyagi:
The Complexity of Estimating Rényi Entropy.
Kousha Etessami, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
The complexity of approximating a trembling hand perfect equilibrium of a multi-player game in strategic form.
Irina Calciu, Hammurabi Mendes, Maurice Herlihy:
The Adaptive Priority Queue with Elimination and Combining.
Ahmed M. Alaa:
Stable Throughput Region of Cognitive-Relay Networks with Imperfect Sensing and Finite Relaying Buffer.
Mohamed Elhoseiny, Ahmed M. Elgammal:
Text to Multi-level MindMaps: A New Way for Interactive Visualization and Summarization of Natural Language Text.
K. Viswanathan Iyer:
A case for Intranet-based 0nline portal for undergraduate Computer Science education.
Diego Perea-Vega, Jean-François Frigon, André Girard:
Fast Heuristics for Power Allocation in Zero-Forcing OFDMA-SDMA Systems with Minimum Rate Constraints.
Kavitha Sooda, T. R. Gopalakrishnan Nair:
Optimal path selection in Graded network using Artificial Bee Colony algorithm with Agent enabled Information.
Jorge Aguilar, Moises Sanchez, Carlos Fernandez-y-Fernandez, Everth Rocha, David Martinez, Jose Figueroa:
The Size of Software Projects Developed by Mexican Companies.
Kavitha Sooda, T. R. Gopalakrishnan Nair:
Competitive performance analysis of two evolutionary algorithms for routing optimization in graded network.
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright:
Modeling Basic Aspects of Cyber-Physical Systems, Part II.
Scott A. Mitchell, Mohamed S. Ebeida, Muhammad A. Awad, Chonhyon Park, Anjul Patney, Ahmad A. Rushdi, Laura P. Swiler, Dinesh Manocha, Li-Yi Wei:
Spoke-Darts for High-Dimensional Blue-Noise Sampling.
Jonathan Scarlett, Vincent Y. F. Tan:
Second-Order Asymptotics for the Discrete Memoryless MAC with Degraded Message Sets.
Konstantin S. Solnushkin:
SADDLE: A Modular Design Automation Framework for Cluster Supercomputers and Data Centres.
Ali N. Avanaki, Kathryn S. Espig, Albert Xthona, Tom R. L. Kimpe, Predrag R. Bakic, Andrew D. A. Maidment:
It is hard to see a needle in a haystack: Modeling contrast masking effect in a numerical observer.
Joseph Gardiner, Marco Cova, Shishir Nagaraja:
Command & Control: Understanding, Denying and Detecting.
Denis S. Krotov, Mercè Villanueva:
Classification of the Z2Z4-Linear Hadamard Codes and Their Automorphism Groups.
Abhishek Jain, Hima Gupta, Sandeep Jana, Krishna Kumar:
Early Development of UVM based Verification Environment of Image Signal Processing Designs using TLM Reference Model of RTL.
Parth Rajesh Desai, Pooja Nikhil Desai, Komal Deepak Ajmera, Khushbu Mehta:
A Review Paper on Oculus Rift-A Virtual Reality Headset.

Timothy Y. Wikedzi, Ramadhani S. Sinde, Dan K. McIntyre:
System Analysis and Design for integrated sponsored SMS/USSD Based M-Services (A case study of Maternal Health M-Service in Tanzania).
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch:
Anonymizing Social Graphs via Uncertainty Semantics.
Uriel Feige, Michal Feldman, Nicole Immorlica, Rani Izsak, Brendan Lucier, Vasilis Syrgkanis:
A Unifying Hierarchy of Valuations with Complements and Substitutes.
Abhijit Bhattacharya, Anurag Kumar:
An Approximate Inner Bound to the QoS Aware Throughput Region of a Tree Network under IEEE 802.15.4 CSMA/CA and Application to Wireless Sensor Network Design.
Rachit Srivastava, Sanjay Motilal Ladwa, Abhijit Bhattacharya, Anurag Kumar:
A Fast and Accurate Performance Analysis of Beaconless IEEE 802.15.4 Multi-Hop Networks.
Kousha Etessami:
The complexity of computing a (perfect) equilibrium for an n-player extensive form game of perfect recall.
Balaji Vasan Srinivasan, Qi Hu, Nail A. Gumerov, Raghu Murtugudde, Ramani Duraiswami:
Preconditioned Krylov solvers for kernel regression.
Saeed Afshar, Libin George, Jonathan Tapson, André van Schaik, Tara Julia Hamilton:
Racing to Learn: Statistical Inference and Learning in a Single Spiking Neuron.
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications.
Maxim Kolchin, Fedor Kozlov:
Unstable markup: A template-based information extraction from web sites with unstable markup.
Rui A. Ferreira, Roberto Grossi, Romeo Rizzi, Gustavo Sacomoto, Marie-France Sagot:
Amortized Õ(|V|)-Delay Algorithm for Listing Chordless Cycles in Undirected Graphs.
Yawar Ismail Khalid, Naveed Ul L. Hassan, Chau Yuen, Shisheng Huang:
Demand Response Management For Power Throttling Air Conditioning Loads In Residential Smart Grids.
Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014 [contents]
Hannes Bartz, Antonia Wachter-Zeh:
Efficient Interpolation-Based Decoding of Interleaved Subspace and Gabidulin Codes.
Ilja Kuzborskij, Barbara Caputo, Francesco Orabona:
Transfer Learning through Greedy Subset Selection.
Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson:
Do feelings matter? On the correlation of affects and the self-assessed productivity in software engineering.
Kui Xu, Youyun Xu, Dongmei Zhang, Wenfeng Ma:
Max-SINR Receiver for HMCT Systems over Non-Stationary Doubly Dispersive Channel.
Arnab Roy, J. David Schaffer, Craig B. Laramee:
New crossover operators for multiple subset selection tasks.
Yunghsiang S. Han, Hung-Ta Pai, Po-Ning Chen, Ting-Yi Wu:
Maximum-likelihood Soft-decision Decoding for Binary Linear Block Codes Based on Their Supercodes.
Karl Bringmann, Marvin Künnemann:
Improved approximation for Fréchet distance on c-packed curves matching conditional lower bounds.
T. R. Gopalakrishnan Nair, Kavitha Sooda:
An intelligent routing approach using genetic algorithms for quality graded network.
Jesús Muñoz Morcillo, Florian Faion, Antonio Zea, Uwe D. Hanebeck, Caroline Y. Robertson-von Trotha:
e-Installation: Synesthetic Documentation of Media Art via Telepresence Technologies.
Boyana Norris, Sa-Lin Bernstein, Ramya Nair, Elizabeth R. Jessup:
Lighthouse: A User-Centered Web Service for Linear Algebra Software.
Seppo Ilari Tirri:
The Mathematical Abstraction Theory, The Fundamentals for Knowledge Representation and Self-Evolving Autonomous Problem Solving Systems.
Nihar B. Shah, Dengyong Zhou:
Double or Nothing: Multiplicative Incentive Mechanisms for Crowdsourcing.
Bhaskar DasGupta, Nasim Mobasheri:
On optimal approximability results for computing the strong metric dimension.
Kezhi Li, Shuang Cong:
State of the Art and Prospects of Structured Sensing Matrices in Compressed Sensing.
Hristo Bojinov, Yan Michalevsky, Gabi Nakibly, Dan Boneh:
Mobile Device Identification via Sensor Fingerprinting.
Michael J. Bannister, William E. Devanny, David Eppstein, Michael T. Goodrich:
The Galois Complexity of Graph Drawing: Why Numerical Solutions are Ubiquitous for Force-Directed, Spectral, and Circle Packing Drawings.
Umang Bhaskar, Katrina Ligett, Leonard J. Schulman, Chaitanya Swamy:
Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions.
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Traffic Network Control from Temporal Logic Specifications.
Ali José Mashtizadeh, Andrea Bittau, David Mazières, Dan Boneh:
Cryptographically Enforced Control Flow Integrity.
Johannes Åman Pohjola, Joachim Parrow:
Priorities Without Priorities: Representing Preemption in Psi-Calculi. 2-15


Daniel Gebler, Simone Tini:
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. 63-78

Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor:
Verification of Linear Optical Quantum Computing using Quantum Process Calculus. 111-129

Ang Yang, Yindi Jing, Chengwen Xing, Zesong Fei, Jingming Kuang:
Performance Analysis and Location Optimization for Massive MIMO Systems with Circularly Distributed Antennas.
Arthur L. Delcher, Adam J. Grove, Simon Kasif, Judea Pearl:
Logarithmic-Time Updates and Queries in Probabilistic Networks.
Adnan Darwiche, Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief Network Inference.


Leonid Peshkin, Kee-Eung Kim, Nicolas Meuleau, Leslie Pack Kaelbling:
Learning to Cooperate via Policy Search.



Amos J. Storkey, Nigel C. Hambly, Christopher K. I. Williams, Robert G. Mann:
Renewal Strings for Cleaning Astronomical Databases.
Jun-Young Woo, Kee-Hoon Kim, Jong-Seon No, Dong-Joon Shin:
OS effect in SLM schemes with correlation.
Victor Shnayder, David C. Parkes, Vikas Kawadia, Jeremy Hoon:
Truthful Prioritization Schemes for Spectrum Sharing.
Roope Vehkalahti, Laura Luzzi, Jean-Claude Belfiore:
Shifted inverse determinant sums and new bounds for the DMT of space-time lattice codes.
Chloë Brown, Neal Lathia, Anastasios Noulas, Cecilia Mascolo, Vincent D. Blondel:
Group colocation behavior in technological social networks.
Anupama Aggarwal, Ponnurangam Kumaraguru:
Followers or Phantoms? An Anatomy of Purchased Twitter Followers.
Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck:
Measuring and Optimizing Cultural Markets.
Reza Azad, Babak Azad, Nabil Belhaj Khalifa, Shahram Jamali:
Real-Time Human-Computer Interaction Based on Face and Hand Gesture Recognition.
Khaled M. Elbassioni, Kurt Mehlhorn, Fahimeh Ramezani:
Towards More Practical Linear Programming-based Techniques for Algorithmic Mechanism Design.
Zahra Karimaddini, Erkan Unal, Denis Menshykau, Dagmar Iber:
Simulating Organogenesis in COMSOL: Image-based Modeling.

Xiangkun Li, Theodor Borsche, Göran Andersson:
PV Integration in Low-Voltage Feeders with Demand Response.
Mauro Bisson, Massimo Bernaschi, Enrico Mastrostefano:
Parallel Distributed Breadth First Search on the Kepler Architecture.
Truls Pedersen, Sjur Dyrkolbotn:
Computing consensus: A logic for reasoning about deliberative processes based on argumentation.

Yetian Chen, Jin Tian, Olga Nikolova, Srinivas Aluru:
A Parallel Algorithm for Exact Bayesian Structure Discovery in Bayesian Networks.
Alessandro Bessi, Mauro Coletto, George Alexandru Davidescu, Antonio Scala, Guido Caldarelli, Walter Quattrociocchi:
Science vs Conspiracy: collective narratives in the age of (mis)information.

Chao Yang, Shengnan Cai, Jingdong Wang, Long Quan:
Low-rank SIFT: An Affine Invariant Feature for Place Recognition.
Timothy Hunter, Ahmed El Alaoui, Alexandre M. Bayen:
Computing the log-determinant of symmetric, diagonally dominant matrices in near-linear time.
Mark A. Matienzo, Amy Rudersdorf:
The Digital Public Library of America Ingestion Ecosystem: Lessons Learned After One Year of Large-Scale Collaborative Metadata Aggregation.
Vassilis Kalofolias, Xavier Bresson, Michael M. Bronstein, Pierre Vandergheynst:
Matrix Completion on Graphs.
Andrey Vladimirov, Cliff Addison:
Cluster-level tuning of a shallow water equation solver on the Intel MIC architecture.
Hamidreza Ebrahimzadeh Saffar, Masoud Badiei Khuzani, Patrick Mitran:
Time-Asynchronous Gaussian Multiple Access Relay Channel with Correlated Sources.
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Partial-Order Approach to Array Content Analysis.
Reza Azad, Babak Azad, Iman Tavakoli Kazerooni:
Real-Time and Robust Method for Hand Gesture Recognition System Based on Cross-Correlation Coefficient.
Stephen V. Hanly, Chunshan Liu, Phil Whiting:
Capacity and Stable Scheduling in Heterogeneous Wireless Networks.
T. R. Gopalakrishnan Nair, Kavitha Sooda, R. Selvarani:
A QoS based Routing Approach using Genetic Algorithms for Bandwidth Maximization in Network.
Ramon Ferrer-i-Cancho:
Beyond description. Comment on "Approaching human language with complex networks" by Cong & Liu.
Radoslaw Klimek, Leszek Kotulski:
Context-awareness of the IoT through the on-the-fly preference modeling.
Riccardo Andreotti, Leonardo Marchetti, Luca Sanguinetti, Mérouane Debbah:
Distributed power control over interference channels using ACK/NACK feedback.
László Czap, Vinod M. Prabhakaran, Christina Fragouli, Suhas N. Diggavi:
Secret Communication over Broadcast Erasure Channels with State-feedback.
Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell:
Three Variables are Enough for Real-Time Specification.
Thibaud Antignac, Daniel Le Métayer:
Privacy Architectures: Reasoning About Data Minimisation and Integrity.
Juan Duque Rodríguez, David Gómez-Ullate, Carlos Mejía-Monasterio:
Limits on the performance of Infotaxis under inaccurate modelling of the environment.
Ayse Ferhan Yesil, M. Cemal Yalabik:
A Report of a Significant Error On a Frequently Used Pseudo Random Number Generator.
Adam S. R. Parker, Ann L. Edwards, Patrick M. Pilarski:
Using Learned Predictions as Feedback to Improve Control and Communication with an Artificial Limb: Preliminary Findings.
Benjamin M. Good, Max Nanis, Andrew I. Su:
Microtask crowdsourcing for disease mention annotation in PubMed abstracts.

Marthe Bonamy, Nicolas Bousquet, Stéphan Thomassé:
The Erdős-Hajnal Conjecture for Long Holes and Anti-holes.
Christian Mayr, René Schüffny:
Neighborhood Rank Order Coding for Robust Texture Analysis and Feature Extraction.
Janet B. Pierrehumbert, Forrest Stonedahl, Robert Daland:
A model of grassroots changes in linguistic systems.
Christian Mayr, Arne Heittmann, René Schüffny:
Gabor-like Image Filtering using a Neural Microcircuit.
Li Xu, Zhenxin Zhan, Shouhuai Xu, Keyin Ye:
An Evasion and Counter-Evasion Study in Malicious Websites Detection.
Bo Han, Bo He, Rui Nian, Mengmeng Ma, Shujing Zhang, Minghui Li, Amaury Lendasse:
LARSEN-ELM: Selective Ensemble of Extreme Learning Machines using LARS for Blended Data.
Bo Han, Bo He, Mengmeng Ma, Tingting Sun, Tianhong Yan, Amaury Lendasse:
RMSE-ELM: Recursive Model based Selective Ensemble of Extreme Learning Machines for Robustness Improvement.
Abdessamad Elboushaki, Rachida Hannane, P. Nagabhushan, Mohammed Javed:
Automatic Removal of Marginal Annotations in Printed Text Document.
Ramoni O. Adeogun:
Capacity and Error Rate Analysis of MIMO Satellite Communication Systems in Fading Scenarios.
Cosma Rohilla Shalizi, Kristina Lisa Klinkner:
Blind Construction of Optimal Nonlinear Recursive Predictors for Discrete Sequences.

Gert de Cooman, Filip Hermans, Erik Quaeghebeur:
Sensitivity analysis for finite Markov chains in discrete time.
Mathias Niepert, Dirk Van Gucht, Marc Gyssens:
On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach.
Alina Beygelzimer, John Langford, Yury Lifshits, Gregory B. Sorkin, Alexander L. Strehl:
Conditional Probability Tree Estimation Analysis and Algorithms.

Vicenç Gómez, Hilbert J. Kappen, Michael Chertkov:
Approximate inference on planar graphs using Loop Calculus and Belief Propagation.
(Withdrawn) Characterizing predictable classes of processes.
Issei Sato, Kenichi Kurihara, Shu Tanaka, Hiroshi Nakagawa, Seiji Miyashita:
Quantum Annealing for Variational Bayes Inference.
Shohei Shimizu, Aapo Hyvärinen, Yoshinobu Kawahara:
A direct method for estimating a causal ordering in a linear non-Gaussian acyclic model.
Ryan Prescott Adams, George E. Dahl, Iain Murray:
Incorporating Side Information in Probabilistic Matrix Factorization with Gaussian Processes.
Yucheng Low, Joseph E. Gonzalez, Aapo Kyrola, Danny Bickson, Carlos Guestrin, Joseph M. Hellerstein:
GraphLab: A New Framework For Parallel Machine Learning.
Ricardo Bezerra de Andrade e Silva, Robert B. Gramacy:
Gaussian Process Structural Equation Models with Latent Variables.
Konstantin Voevodski, Maria-Florina Balcan, Heiko Röglin, Shang-Hua Teng, Yu Xia:
Efficient Clustering with Limited Distance Information.
Jie Chen, Kian Hsiang Low, Colin Keng-Yan Tan, Ali Oran, Patrick Jaillet, John M. Dolan, Gaurav S. Sukhatme:
Decentralized Data Fusion and Active Sensing with Mobile Sensors for Modeling and Predicting Spatiotemporal Traffic Phenomena.
Yutian Chen, Max Welling:
Bayesian Structure Learning for Markov Random Fields with a Spike and Slab Prior.
Nicholas Hay, Stuart J. Russell, David Tolpin, Solomon Eyal Shimony:
Selecting Computations: Theory and Applications.
(Withdrawn) Optimally-Weighted Herding is Bayesian Quadrature.
Rishabh K. Iyer, Jeff A. Bilmes:
Algorithms for Approximate Minimization of the Difference Between Submodular Functions, with Applications.
Erik J. Schlicht, Ritchie Lee, David H. Wolpert, Mykel J. Kochenderfer, Brendan Tracey:
Predicting the behavior of interacting humans by fusing data from multiple sources.
Amy Zhang, Nadia Fawaz, Stratis Ioannidis, Andrea Montanari:
Guess Who Rated This Movie: Identifying Users Through Subspace Clustering.
Giorgos Borboudakis, Ioannis Tsamardinos:
Scoring and Searching over Bayesian Networks with Causal and Associative Priors.
Jie Chen, Nannan Cao, Kian Hsiang Low, Ruofei Ouyang, Colin Keng-Yan Tan, Patrick Jaillet:
Parallel Gaussian Process Regression with Low-Rank Covariance Matrix Approximations.
Tomoharu Iwata, David K. Duvenaud, Zoubin Ghahramani:
Warped Mixtures for Nonparametric Cluster Shapes.
Rishabh K. Iyer, Jeff A. Bilmes:
The Lovasz-Bregman Divergence and connections to rank aggregation, clustering, and web ranking.
Joris M. Mooij, Dominik Janzing, Bernhard Schölkopf:
From Ordinary Differential Equations to Structural Causal Models: the deterministic case.
Krikamol Muandet, Bernhard Schölkopf:
One-Class Support Measure Machines for Group Anomaly Detection.
Vikas Sindhwani, Ha Quang Minh, Aurelie C. Lozano:
Scalable Matrix-valued Kernel Learning for High-dimensional Nonlinear Multivariate Regression and Granger Causality.
Aristide C. Y. Tossou, Christos Dimitrakakis:
Probabilistic inverse reinforcement learning in unknown environments.
James W. Hegeman, Sriram V. Pemmaraju, Vivek Sardeshmukh:
Near-Constant-Time Distributed Algorithms on a Congested Clique.
Subhash Bhagat, Sruti Gan Chaudhuri, Krishnendu Mukhopadhyaya:
Formation of General Position by Asynchronous Mobile Robots.
Arsany Guirguis, Raymond Guirguis, Moustafa Youssef:
Primary User-aware Network Coding for Multi-hop Cognitive Radio Networks.

Jiho Song, Junil Choi, Stephen G. Larew, David J. Love, Timothy A. Thomas, Amitava Ghosh:
Adaptive Millimeter Wave Beam-Alignment for Dual-Polarized Broadcast MIMO Systems.
Martin Monperrus:
A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair.
François Delbot, Christian Laforest, Stephane Rovedakis:
Self-stabilizing algorithms for Connected Vertex Cover and Clique decomposition problems.
Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen:
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science.
Roozbeh Ebrahimi, Jie Gao, Golnaz Ghasemiesfeh, Grant Schoenebeck:
Complex Contagions in Kleinberg's Small World Model.
Marthe Bonamy, Pierre Charbit, Stéphan Thomassé:
Graphs with large chromatic number induce $3k$-cycles.
Feng Jiang, Jie Chen, A. Lee Swindlehurst, José A. Lopez-Salcedo:
Massive MIMO for Wireless Sensing with a Coherent Multiple Access Channel.

J. A. Rad, Saeed Kazem, M. Shaban, K. Parand:
A new operational matrix based on Bernoulli polynomials.
J. A. Rad, Saeed Kazem, K. Parand:
The meshless method for solving radiative transfer problems in a slab medium based on radial basis functions.
Mikhail Ivanov, Christian Häger, Fredrik Brännström, Alexandre Graell i Amat, Alex Alvarado, Erik Agrell:
On the Information Loss of the Max-Log Approximation in BICM Systems.
Yongxin Chen, Tryphon T. Georgiou, Michele Pavon:
Optimal steering of a linear stochastic system to a final probability distribution.
Axel Müller, Romain Couillet, Emil Björnson, Sebastian Wagner, Mérouane Debbah:
Interference-Aware RZF Precoding for Multi-Cell Downlink Systems.
Atri Rudra, Mary Wootters:
It'll probably work out: improved list-decoding through random operations.
Yuanxin Li, Yuejie Chi:
Off-the-Grid Line Spectrum Denoising and Estimation with Multiple Measurement Vectors.
Roy Frostig, Sida I. Wang:
A sub-constant improvement in approximating the positive semidefinite Grothendieck problem.
Amihood Amir, Oren Kapah, Tsvi Kopelowitz, Moni Naor, Ely Porat:
The Family Holiday Gathering Problem or Fair and Periodic Scheduling of Independent Sets.
Philip Valencia, Aiden Haak, Alban Cotillon, Raja Jurdak:
Genetic Programming for Smart Phone Personalisation.
Yi Li, Qi Wei, Fei Qiao, Huazhong Yang:
Physical Computing With No Clock to Implement the Gaussian Pyramid of SIFT Algorithm.
Jingwei Sun, Guangzhong Sun:
SPLZ: An Efficient Algorithm for Single Source Shortest Path Problem Using Compression Method.

Oner Orhan, Deniz Gündüz, Elza Erkip:
Source-Channel Coding under Energy, Delay and Buffer Constraints.
Margreta Kuijper, Anna-Lena Trautmann:
The Predictable Leading Monomial Property for Linearized Polynomials and Gabidulin List-Decoding.
Sareh Abolahrari Shirazi, Conrad Sanderson, Chris McCool, Mehrtash Tafazzoli Harandi:
Improved Object Tracking via Bags of Affine Subspaces.
Farshad Rassaei, Wee-Seng Soh, Kee Chaing Chua:
A Statistical Modelling and Analysis of Residential Electric Vehicles' Charging Demand in Smart Grids.
Fabian Pedregosa, Francis R. Bach, Alexandre Gramfort:
On the Consistency of Ordinal Regression Methods.
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing:
SAT-Based Methods for Circuit Synthesis.

Taraka Rama:
Gap-weighted subsequences for automatic cognate identification and phylogenetic inference.
Sergey V. Yakhontov:
Time complexity of integration of FLINSPACE computable real functions in Ko-Friedman model.

Zhixiong Chen, Xiaoni Du, Radwa Marzouk:
Trace representation of pseudorandom binary sequences derived from Euler quotients.

Boris Iolis, Gianluca Bontempi:
Optimizing Component Combination in a Multi-Indexing Paragraph Retrieval System.
George Grispos, William Bradley Glisson, Tim Storer:
Rethinking Security Incident Response: The Integration of Agile Principles.
Greg Aloupis, Luis Barba, Paz Carmi, Vida Dujmovic, Fabrizio Frati, Pat Morin:
Compatible Connectivity-Augmentation of Planar Disconnected Graphs.

Jeremy Debattista, Christoph Lange, Sören Auer:
Representing Dataset Quality Metadata using Multi-Dimensional Views.
Qing-Hu Hou, Rong-Hua Wang:
An Algorithm for Deciding the Summability of Bivariate Rational Functions.
Alison Burrows, Rachel Gooberman-Hill, Ian Craddock, David Coyle:
Sensors for healthcare: Would you want them in your home?
Marco Gori, Marco Lippi, Marco Maggini, Stefano Melacci:
Learning to see like children: proof of concept.
Liane Gabora, Simon Tseng:
Computational Evidence that Self-regulation of Creativity is Good for Society.
Konstantin Avrachenkov, Natalia M. Markovich, Jithin Kazuthuveettil Sreedharan:
Distribution and Dependence of Extremes in Network Sampling Processes.
Ashutosh Nayyar, Laurent Lessard:
Optimal Control for LQG Systems on Graphs - Part I: Structural Results.
Ally S. Nyamawe:
A Proposed Framework for Development of a Visualizer Based on Memory Transfer Language (MTL).
Hugh L. Kennedy:
Multidimensional Digital Filters for Point-Target Detection in Cluttered Infrared Scenes.
Markus Chimani, Giuseppe Di Battista, Fabrizio Frati, Karsten Klein:
Advances on Testing C-Planarity of Embedded Flat Clustered Graphs.
Jens Dietrich, Kamil Jezek, Premek Brada:
What Java Developers Know About Compatibility, And Why This Matters.
Kechao Huang, David G. M. Mitchell, Lai Wei, Xiao Ma, Daniel J. Costello Jr.:
Performance Comparison of LDPC Block and Spatially Coupled Codes over GF(q).
Riaz A. Khan, Ajaz Hussain Mir:
A Study of Network Based Mobility Management Schemes, 6LoWPAN Mobility, Open Issues and Proposed Solutions.
Mathew C. Francis, Pavol Hell, Juraj Stacho:
Forbidden structure characterization of circular-arc graphs and a certifying recognition algorithm.
Gilles Fourestey, Ben Cumming, Ladina Gilly, Thomas C. Schulthess:
First Experiences With Validating and Using the Cray Power Management Database Tool.



Tamjid Rahman, M. Rokonuzzaman:
A Noble Methodology for Users Work Process Driven Software Requirements for Smart Handheld Devices.
Dennis Kraft, Salman Fadaei, Martin Bichler:
Fast Convex Decomposition for Truthful Social Welfare Approximation.
Antoine Deleforge, Radu Horaud, Yoav Y. Schechner, Laurent Girin:
Co-Localization of Audio Sources Using Binaural Features and Locally-Linear Regression.
Tulay Ayyildiz Akoglu, Jonathan D. Hauenstein, Ágnes Szántó:
Certifying solutions to overdetermined and singular polynomial systems over Q.
Michael Tänzer:
The Influence of Architectural Styles on Security, Using the Example of a Certification Authority.
Sarah Michele Rajtmajer, Christopher Griffin, Derek Mikesell, Anna Cinzia Squicciarini:
A cooperate-defect model for the spread of deviant behavior in social networks.
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani:
A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols.
Ramy E. Ali, Fadel F. Digham, Karim G. Seddik, Mohammed Nafie, Amr El-Keyi, Zhu Han:
A Probabilistic MAC for Cognitive Radio Systems with Energy Harvesting Nodes.

Nikos Bikakis, Chrisa Tsinaraki, Ioannis Stavrakantonakis, Stavros Christodoulakis:
Supporting SPARQL Update Queries in RDF-XML Integration.


Alireza Naghizadeh, Tahereh Yourdkhani, Behrooz Razeghi, Ehsan Meamari:
BSRone: Binary Search with Routing of O(1); A Scalable Circular Design for Distributed Networks.

Mahdi Nasrullah Al-Ameen, Matthew K. Wright:
A Comprehensive Study of the GeoPass User Authentication Scheme.
Seyed Mohammad Azimi-Abarghouyi, Mohsen Hejazi, Masoumeh Nasiri-Kenari:
Computation in Multi-User Multi-Relay Networks.
Seyed Mohammad Azimi-Abarghouyi, Mohsen Hejazi, Masoumeh Nasiri-Kenari:
Compute-and-Forward Two-Way Relaying.
Matteo Ceccarello, Francesco Silvestri:
Experimental Evaluation of Multi-Round Matrix Multiplication on MapReduce.

Andrew L. Maas, Awni Y. Hannun, Daniel Jurafsky, Andrew Y. Ng:
First-Pass Large Vocabulary Continuous Speech Recognition using Bi-Directional Recurrent DNNs.
Luca D'Acci:
Urban DNA for cities evolutions. Cities as physical expression of dynamic equilibriums between competitive and cooperative forces.
Nicolas Le Bihan, Florent Chatelain, Jonathan H. Manton:
Isotropic Multiple Scattering Processes on Hyperspheres.
Albert Hung-Ren Ko, Robert Sabourin, Alceu S. Britto Jr., Luiz E. S. Oliveira:
A Classifier-free Ensemble Selection Method based on Data Diversity in Random Subspaces.
Yang Liu, Bo He, Diya Dong, Yue Shen, Tianhong Yan, Rui Nian, Amaury Lendasse:
Robust OS-ELM with a novel selective ensemble based on particle swarm optimization.
Priya Mathew, Lismi Augustine, Sabarinath G., Tomson Devis:
Hardware Implementation of (63, 51) BCH Encoder and Decoder For WBAN Using LFSR and BMA.
Surender Kumar, Sumit Kumar, Bharat Bhushan:
Energy Aware Clustering Protocol(EACP) For Heterogeneous WSNs.
Surender Kumar, Manish Prateek, N. J. Ahuja, Bharat Bhushan:
DE-LEACH: Distance and Energy Aware LEACH.
(Withdrawn) A Hypercomputation in Brouwer's Constructivism.
Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K. Kraetzschmar:
Towards a Robot Perception Specification Language.
Shweta Gambhir, Kuldeep Tomar:
Study of Computer Network Issues and Improvising Drop Rate of TCP Packet Using NS-2.
Michael Schreiber:
How to improve the outcome of performance evaluations in terms of percentiles for citation frequencies of my papers.
Mohammad Abu Alsheikh, Puay Kai Poh, Shaowei Lin, Hwee Pink Tan, Dusit Niyato:
Efficient Data Compression with Error Bound Guarantee in Wireless Sensor Networks.
Jan A. Bergstra, C. A. Middelburg:
A Hoare-like logic of asserted single-pass instruction sequences.
Ralph Tanbourgi, Friedrich K. Jondral:
Analysis of Heterogeneous Cellular Networks under Frequency Diversity and Interference Correlation.
Hosam AlHakami, Feng Chen, Helge Janicke:
An Extended Stable Marriage Problem Algorithm for Clone Detection.
Sreenivasa Setty, N. K. Srinath, M. C. Hanumantharaju:
An Improved Approach for Contrast Enhancement of Spinal Cord Images based on Multiscale Retinex Algorithm.
Masaaki Nagahara, Daniel E. Quevedo, Dragan Nesic:
Maximum Hands-Off Control: A Paradigm of Control Effort Minimization.
Cristina Muñoz, Pierre Leone:
A Network Architecture for Distributed Event Based Systems in an Ubiquitous Sensing Scenario.
Mihai Patrascu, Mikkel Thorup:
Dynamic Integer Sets with Optimal Rank, Select, and Predecessor Search.
Homa Esfahanizadeh, Farshad Lahouti, Babak Hassibi:
A Matrix Completion Approach to Linear Index Coding Problem.
Quoc Viet Le, Tamás Sarlós, Alexander Johannes Smola:
Fastfood: Approximate Kernel Expansions in Loglinear Time.
Hani Salah, Stefanie Roos, Thorsten Strufe:
A Lightweight Approach for Improving the Lookup Performance in Kademlia-type Systems.
Tran The Truyen, Hung Hai Bui, Svetha Venkatesh:
Human Activity Learning and Segmentation using Partially Hidden Discriminative Models.
Benjamin W. Ong, Ronald D. Haynes, Kyle Ladd:
Algorithm xxx: RIDC Methods - A Family of Parallel Time-Integrators.
Djamal Belazzougui, Simon J. Puglisi, Yasuo Tabei:
Rank, select and access in grammar-compressed strings.
Surender Kumar, Manish Prateek, N. J. Ahuja, Bharat Bhushan:
MEECDA: Multihop Energy Efficient Clustering and Data Aggregation Protocol for HWSN.
Hossein Hosseini, Farzad Hessar, Farokh Marvasti:
Real-Time Impulse Noise Suppression from Images Using an Efficient Weighted-Average Filtering.
Nikos Bikakis, Melina Skourla, George Papastefanatos:
rdf: SynopsViz - A Framework for Hierarchical Linked Data Visual Exploration and Analysis.
Vasavi Akhila Dabeeru:
User Profile Relationships using String Similarity Metrics in Social Networks.
Mohammad Amin Rahimian, Victor M. Preciado:
Detection and Isolation of Failures in Directed Networks of LTI Systems.

V. Sidda Reddy, T. V. Rao, A. Govardhan:
Mining Frequent Itemsets (MFI) over Data Streams: Variable Window Size (VWS) by Context Variation Analysis (CVA) of the Streaming Transactions.
Tianyu Wang, Lingyang Song, Zhu Han:
Coalitional Graph Games for Popular Content Distribution in Cognitive Radio VANETs.
Tianyu Wang, Lingyang Song, Zhu Han, Walid Saad:
Distributed Cooperative Sensing in Cognitive Radio Networks: An Overlapping Coalition Formation Approach.
Wenjie Xu, François Quitin, Mei Leng, Wee-Peng Tay, Sirajudeen Gulam Razul:
Distributed localization of a RF target in NLOS environments.
Kaibin Huang, Xiangyun Zhou:
Cutting Last Wires for Mobile Communication by Microwave Power Transfer.
Surender Kumar, Manish Prateek, Bharat Bhushan:
Energy Efficient (EECP) Clustered Protocol for Heterogeneous Wireless Sensor Network.
He Chen, Yonghui Li, Yunxiang Jiang, Yuanye Ma, Branka Vucetic:
Distributed Power Splitting for SWIPT in Relay Interference Channels using Game Theory.
Babak Saleh, Kanako Abe, Ravneet Singh Arora, Ahmed M. Elgammal:
Toward Automated Discovery of Artistic Influence.

Delf Block, Sönke Heeren, Stefan Kühnel, André Leschke, Bernhard Rumpe, Vladislavs Serebro:
Simulations on Consumer Tests: A Perspective for Driver Assistance Systems.
El-Tigani B. Abdelsatir, Sahar Salahaldeen, Hyam Omar, Afra Hashim:
A Novel (k, n) Secret Sharing Scheme from Quadratic Residues for Grayscale Images.
Zádor Dániel Kelemen, Gábor Bényász, Zoltán Badinka:
A measurement based software quality framework.
Mohammad Ali Keyvanrad, Mohammad Mehdi Homayounpour:
A brief survey on deep belief networks and introducing a new object oriented MATLAB toolbox (DeeBNet).
Joseph T. Lizier:
JIDT: An information-theoretic toolkit for studying the dynamics of complex systems.
Petra Isenberg, Tobias Isenberg, Michael Sedlmair, Jian Chen, Torsten Möller:
Toward a deeper understanding of Visualization through keyword analysis.
Visesh Chari, Simon Lacoste-Julien, Ivan Laptev, Josef Sivic:
On Pairwise Cost for Multi-Object Network Flow Tracking.
Nguyen H. Nam:
Utilizing the Active and Collaborative Learning Model in the Introductory Physics Course.
Giovanni Paolini:
An algorithm for canonical forms of finite subsets of $\mathbb{Z}^d$ up to affinities.
Allan van Hulst, Michel A. Reniers, Wan Fokkink:
Maximally Permissive Controlled System Synthesis for Modal Logic.
Michael A. Bekos, Thomas C. van Dijk, Philipp Kindermann, Alexander Wolff:
Simultaneous Drawing of Planar Graphs with Right-Angle Crossings and Few Bends.
Yeara Kozlov, Janick Martinez Esturo, Hans-Peter Seidel, Tino Weinkauf:
Regularized Harmonic Surface Deformation.
Ari Seff, Le Lu, Kevin M. Cherry, Holger Roth, Jiamin Liu, Shijun Wang, Joanne Hoffman, Evrim B. Turkbey, Ronald M. Summers:
2D View Aggregation for Lymph Node Detection Using a Shallow Hierarchy of Linear Classifiers.
Sándor P. Fekete, Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller:
Universal Computation with Arbitrary Polyomino Tiles in Non-Cooperative Self-Assembly.
Jorge Plata-Chaves, Nikola Bogdanovic, Kostas Berberidis:
Distributed Diffusion-Based LMS for Node-Specific Adaptive Parameter Estimation.
Chenrong Xiong, Zhiyuan Yan:
Improved Iterative Hard- and Soft-Reliability Based Majority-Logic Decoding Algorithms for Non-Binary Low-Density Parity-Check Codes.
Bing Li, Hongyuan Zha, Francesca Chiaromonte:
Linear Contour Learning: A Method for Supervised Dimension Reduction.
Colin Taylor, Kalyan Veeramachaneni, Una-May O'Reilly:
Likely to stop? Predicting Stopout in Massive Open Online Courses.



Francisco J. Soulignac:
Minimal and short representations of unit interval and unit circular-arc graphs.
Felix Hill, Roi Reichart, Anna Korhonen:
SimLex-999: Evaluating Semantic Models with (Genuine) Similarity Estimation.
Bo Zhou, Ying Cui, Meixia Tao:
Stochastic Throughput Optimization for Two-hop Systems with Finite Relay Buffers.

Wei Chen, Songbai Wang, Li Qiu:
When MIMO Control Meets MIMO Communication: A Majorization Condition for Networked Stabilizability.
Vikraman Arvind, Gaurav Rattan:
Faster FPT Algorithm for Graph Isomorphism Parameterized by Eigenvalue Multiplicity.
Hugh L. Kennedy:
Parallel software implementation of recursive multidimensional digital filters for point-target detection in cluttered infrared scenes.
Dhaval Dave, Pranav Dave:
An Effective Black Hole Attack Detection Mechanism using Permutation Based Acknowledgement in MANET.

Minati Mishra, Priyadarsini Mishra, M. C. Adhikary:
Digital Image Data Hiding Techniques: A Comparative Study.
H. Emrah Tasli, Paul Ivan:
Turkish Presidential Elections TRT Publicity Speech Facial Expression Analysis.
Kamal Kumar, Anil K. Verma, R. B. Patel:
Secure Multipath Routing Scheme using Key Pre-Distribution in Wireless Sensor Networks.
Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler:
Embedding of Large Boolean Functions for Reversible Logic.
Luchen Tan, Charles L. A. Clarke:
A Family of Rank Similarity Measures based on Maximized Effectiveness Difference.


Hong Zhang, Adrian Sandu, Paul Tranquilli:
Application of approximate matrix factorization to high order linearly implicit Runge-Kutta methods.


Jie Ren, Bradford D. Boyle, Gwanmo Ku, Steven Weber, John MacLaren Walsh:
Overhead Performance Tradeoffs - A Resource Allocation Perspective.



Salman Salamatian, Amy Zhang, Flávio du Pin Calmon, Sandilya Bhamidipati, Nadia Fawaz, Branislav Kveton, Pedro Oliveira, Nina Taft:
Managing your Private and Public Data: Bringing down Inference Attacks against your Privacy.
Sivaraman Dasarathan, Cihan Tepedelenlioglu, Mahesh K. Banavar, Andreas Spanias:
Robust Consensus in the Presence of Impulsive Channel Noise.
Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri:
Robust 3D face recognition in presence of pose and partial occlusions or missing parts.
(Withdrawn) Object Structure from Manipulation via Particle Filter and Robot-based Active Learning.
(Withdrawn) Inverse Reinforcement Learning with Multi-Relational Chains for Robot-Centered Smart Home.
Florian Meyer, Henk Wymeersch, Markus Fröhle, Franz Hlawatsch:
Distributed Estimation with Information-Seeking Control in Agent Network.
Ehtesham Hassan, Gautam Shroff, Puneet Agarwal:
Multi-Sensor Event Detection using Shape Histograms.
Mohammad Alhawarat, Waleed Nazih, Mohammad Eldesouki:
Analysis of a chaotic spiking neural model: The NDS neuron.
Oleg Finko, Dmitriy Samoylenko, Sergey Dichenko, Nikolay Eliseev:
Parallel generator of $q$-valued pseudorandom sequences based on arithmetic polynomials.
Sébastien Ouellet:
Real-time emotion recognition for gaming using deep convolutional network features.
Sanam Sadr, Raviraj S. Adve:
Tier Association Probability and Spectrum Partitioning for Maximum Rate Coverage in Multi-tier Heterogeneous Networks.
Loren Schwiebert, Eyad Hailat, Kamel Rushaidat, Jason R. Mick, Jeffrey J. Potoff:
An Efficient Cell List Implementation for Monte Carlo Simulation on GPUs.
Shervin Minaee, AmirAli Abdolrashidi:
Highly Accurate Multispectral Palmprint Recognition Using Statistical and Wavelet Features.
Carlos Caleiro, João Marcos, Marco Volpe:
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
Sajjad Bahrami, Ghosheh Abed Hodtani:
Capacity Bounds and a Certain Capacity Region for Special Three-Receiver Broadcast Channels with Side Information.
Hossein Rahmani, Arif Mahmood, Du Q. Huynh, Ajmal S. Mian:
HOPC: Histogram of Oriented Principal Components of 3D Pointclouds for Action Recognition.
Hossein Rahmani, Arif Mahmood, Du Q. Huynh, Ajmal S. Mian:
Action Classification with Locality-constrained Linear Coding.
Oinam Binarani Devi, Nissi S. Paul, Y. Jayanta Singh:
Robust Statistical Approach for Extraction of Moving Human Silhouettes from Videos.

Minati Mishra, Ashanta Ranjan Routray, Sunit Kumar:
High Security Image Steganography with Modified Arnold cat map.
Esha Ghosh, Olga Ohrimenko, Roberto Tamassia:
Verifiable Member and Order Queries on a List in Zero-Knowledge.
Christoph Lange, Angelo Di Iorio:
Semantic Publishing Challenge - Assessing the Quality of Scientific Output.
Lorenzo Livi, Antonello Rizzi, Alireza Sadeghian:
Classifying Sequences by the Optimized Dissimilarity Space Embedding Approach: a Case Study on the Solubility Analysis of the E. coli Proteome.

Oleksii Mykhailenko:
Cone Crusher Model Identification Using Block-Oriented Systems with Orthonormal Basis Functions.
Jaewook Kang, Hyoyoung Jung, Heung-No Lee, Kiseon Kim:
Spike-and-Slab Approximate Message-Passing for High-Dimensional Piecewise-Constant Recovery.
Alejandro Mosquera, Lamine M. Aouad, Slawomir Grzonkowski, Dylan Morss:
On Detecting Messaging Abuse in Short Text Messages using Linguistic and Behavioral patterns.
(Withdrawn) Analysis and Optimization of Cellular Network with Burst Traffic.
Pierre-François Marteau, Sylvie Gibet, Clément Reverdy:
Down-Sampling coupled to Elastic Kernel Machines for Efficient Recognition of Isolated Gestures.
Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler:
Ancilla-free synthesis of large reversible functions using binary decision diagrams.
Zhanpeng Zhang, Ping Luo, Chen Change Loy, Xiaoou Tang:
Learning and Transferring Multi-task Deep Representation for Face Alignment.
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon:
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android.
Vandhana C., S. Hima Bindhu, P. Renjith, N. Sadagopan, B. Supraja:
Spanning Tree Enumeration in 2-trees: Sequential and Parallel Perspective.
George S. Eskander, Robert Sabourin, Eric Granger:
Offline Signature-Based Fuzzy Vault (OSFV: Review and New Results.
Benjamin Eltzner, Carina Wollnik, Carsten Gottschlich, Stephan Huckemann, Florian Rehfeldt:
A Filament Sensor for the Detection of Fiber Structures in Human Mesenchymal Stem Cells.


Krishna Murthy A., Suresha, K. M. Anil Kumar:
Challenges and Issues in Adapting Web Contents on Small Screen Devices.
Laszlo B. Kish, Derek Abbott, Claes-Goran Granqvist, He Wen:
Facts, myths and fights about the KLJN classical physical key exchanger.
Leilani Battle, Edward Benson, Aditya G. Parameswaran, Eugene Wu:
Indexing Cost Sensitive Prediction.
Laszlo B. Kish, Claes-Goran Granqvist, Tamás Horváth, Andreas Klappenecker, He Wen, Sergey M. Bezrukov:
Bird's-eye view on Noise-Based Logic.
Laszlo B. Kish, Claes-Goran Granqvist, Sergey M. Bezrukov, Tamás Horváth:
Brain: Biological noise-based logic.
Luis Barba, Prosenjit Bose, Jean-Lou De Carufel, Mirela Damian, Rolf Fagerberg, André van Renssen, Perouz Taslakian, Sander Verdonschot:
Continuous Yao Graphs.
Shahab Ghasemi-Goojani, Hamid Behroozi:
On the Ice-Wine Problem: Recovering Linear Combination of Codewords over the Gaussian Multiple Access Channel.
Ali Rakhshan, Evan Ray, Hossein Pishro-Nik:
A New Approach to Customization of Collision Warning Systems to Individual Drivers.
Mostafa Baghouri, Saad Chakkor, Abderrahmane Hajraoui:
Ameliorate Threshold Distributed Energy Efficient Clustering Algorithm for Heterogeneous Wireless Sensor Networks.
Costas K. Constantinou, Georgios Ellinas:
Optimal Polynomial Solution for the Minimum Sum Two Paths Problem.
Marghny H. Mohamed, Mohammed M. Abdelsamea:
Self Organization Map based Texture Feature Extraction for Efficient Medical Image Categorization.
Haya Shajaiah, Ahmed Abdel-Hadi, T. Charles Clancy:
A Price Selective Centralized Algorithm for Resource Allocation with Carrier Aggregation in LTE Cellular Networks.
Majed Haddad, Piotr Wiecek, Oussama Habachi, Yezekael Hayel:
Designing Energy Efficient Power Control for Multi-carrier Wireless Networks.
Fan Zhang, Vincent K. N. Lau:
Closed-Form Delay-Optimal Power Control for Energy Harvesting Wireless System with Finite Energy Storage.
Gordon Burtch, Anindya Ghose, Sunil Wattal:
The Hidden Cost of Accommodating Crowdfunder Privacy Preferences: A Randomized Field Experiment.
Ali A. Nasir, Duy T. Ngo, Xiangyun Zhou, Rodney A. Kennedy, Salman Durrani:
Joint Resource Optimization for Heterogeneous Multicell Networks with Wireless Energy Harvesting Relays.
Yu-Hsien Lee, Kuang-Hao Liu:
Battery-Aware Relay Selection for Energy Harvesting Cooperative Networks.
Cinthya Mota-Hernandez, Luis Esquivel-Rodriguez, Rafael Alvarado-Corona:
Can Artificial Neural Networks be Applied in Seismic Predicition? Preliminary Analysis Applying Radial Topology. Case: Mexico.

Ossi Kaltiokallio, Hüseyin Yigitler, Riku Jäntti:
Enhancing the Accuracy of Device-free Localization Using Spectral Properties of the RSS.
Simone Bova, Robert Ganian, Stefan Szeider:
Quantified Conjunctive Queries on Partially Ordered Sets.
Yangmuzi Zhang, Diane Larlus, Florent Perronnin:
What makes an Image Iconic? A Fine-Grained Case Study.
Xinlin Zhang, Michail Matthaiou, Mikael Coldrey, Emil Björnson:
Energy Efficiency Optimization in Hardware-Constrained Large-Scale MIMO Systems.
Eva Mohedano, Graham Healy, Kevin McGuinness, Xavier Giró i Nieto, Noel E. O'Connor, Alan F. Smeaton:
Object Segmentation in Images using EEG Signals.

Jameson Cahill, Dustin G. Mixon:
Robust width: A characterization of uniformly stable and robust compressed sensing.
Frank Hannig, Dirk Koch, Daniel Ziener:
Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014).
Shuchi Chawla, Hu Fu, Anna R. Karlin:
Approximate Revenue Maximization in Interdependent Value Settings.
Tyll Krueger, Guido Montúfar, Ruedi Seiler, Rainer Siegmund-Schultze:
Sequential Recurrence-Based Multidimensional Universal Source Coding of Lempel-Ziv Type.
Philipp Mayr:
Are topic-specific search term, journal name and author name recommendations relevant for researchers?
Daphney-Stavroula Zois, Urbashi Mitra:
Controlled Sensing: A Myopic Fisher Information Sensor Selection Algorithm.
H. Francis Song, Xiao-Jing Wang:
A simple, distance-dependent formulation of the Watts-Strogatz model for directed and undirected small-world networks.

Mehrdad Niknami, Samitha Samaranayake, Alexandre M. Bayen:
Tractable Pathfinding for the Stochastic On-Time Arrival Problem.
Mohammed M. Abdelsamea:
Unsupervised Parallel Extraction based Texture for Efficient Image Representation.

Yahya M. Tashtoush, Mohammed Al-Maolegi, Bassam Arkok:
The Correlation among Software Complexity Metrics with Case Study.
Junghoon Lee, Cihan Tepedelenlioglu:
Laplace Functional Ordering of Point Processes in Large-scale Wireless Networks.
Daiki Maehara, Gia Khanh Tran, Kei Sakaguchi, Kiyomichi Araki, Minoru Furukawa:
Experiments Validating the Effectiveness of Multi-point Wireless Energy Transmission with Carrier Shift Diversity.
M. R. Avendi, Kasra Haghighi, Ashkan Panahi, Mats Viberg:
A NLLS Based Sub-Nyquist Rate Spectrum Sensing for Wideband Cognitive Radio.
Joel Scheuner, Philipp Leitner, Jürgen Cito, Harald C. Gall:
Cloud WorkBench - Infrastructure-as-Code Based Cloud Benchmarking.
(Withdrawn) Introduction to Clustering Algorithms and Applications.
Pier Stanislao Paolucci, Iuliana Bacivarov, Devendra Rai, Lars Schor, Lothar Thiele, Hoeseok Yang, Elena Pastorelli, Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Francesco Simula, Laura Tosoratto, Piero Vicini:
EURETILE D7.3 - Dynamic DAL benchmark coding, measurements on MPI version of DPSNN-STDP (distributed plastic spiking neural net) and improvements to other DAL codes.
Can Karakus, I-Hsiang Wang, Suhas N. Diggavi:
Gaussian Interference Channel with Intermittent Feedback.
Christoph Niethammer, Stefan Becker, Martin Bernreuther, Martin Buchholz, Wolfgang Eckhardt, Alexander Heinecke, Stephan Werth, Hans-Joachim Bungartz, Colin W. Glass, Hans Hasse, Jadran Vrabec, Martin Horsch:
ls1 mardyn: The massively parallel molecular dynamics code for large systems.
Indranil Pan, Saptarshi Das:
Kriging based Surrogate Modeling for Fractional Order Control of Microgrids.
Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, Michael Wybrow:
Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT.
Benjamin Linowitz, Matthew Satriano, Roope Vehkalahti:
A non-commutative analogue of the Odlyzko bounds and bounds on performance for space-time lattice codes.
Dirk Riehle, Carsten Kolassa, Michel A. Salim:
Developer Belief vs. Reality: The Case of the Commit Size Distribution.
Alexander Freytag, Johannes Rühle, Paul Bodesheim, Erik Rodner, Joachim Denzler:
Seeing through bag-of-visual-word glasses: towards understanding quantization effects in feature extraction methods.
Maha Alodeh, Symeon Chatzinotas, Björn E. Ottersten:
Constructive Multiuser Interference in Symbol Level Precoding for the MISO Downlink Channel.
Amelia Carolina Sparavigna:
GIMP and Wavelets for Medical Image Processing: Enhancing Images of the Fundus of the Eye.

Hugo A. Andrade, Simon Hogg, Stephan Ahrends:
Making FPGAs Accessible to Scientists and Engineers as Domain Expert Software Programmers with LabVIEW.
Moritz Schmid, Oliver Reiche, Christian Schmitt, Frank Hannig, Jürgen Teich:
Code Generation for High-Level Synthesis of Multiresolution Applications on FPGAs.
Sam Skalicky, Andrew G. Schmidt, Matthew French:
High Level Hardware/Software Embedded System Design with Redsharc.
Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz:
Directed Width Measures and Monotonicity of Directed Graph Searching.

Phillip M. Alday:
Be Careful When Assuming the Obvious: Commentary on "The placement of the head that minimizes online memory: a complex systems approach".
Adnan Anwar, Abdun Naser Mahmood:
Enhanced Estimation of Autoregressive Wind Power Prediction Model Using Constriction Factor Particle Swarm Optimization.
Adrian J. Chung, Kathryn Cobden, Mark Jervis, Martin Langhammer, Bogdan Pasca:
Tools and Techniques for Efficient High-Level System Design on FPGAs.
Zhenyu Zhou, Mianxiong Dong, Kaoru Ota, Ruifeng Shi, Zhiheng Liu, Takuro Sato:
A Game-Theoretic Approach to Energy-Efficient Resource Allocation in Device-to-Device Underlay Communications.
Christos Thrampoulidis, Samet Oymak, Babak Hassibi:
A Tight Version of the Gaussian min-max theorem in the Presence of Convexity.
He Chen, Xiangyun Zhou, Yonghui Li, Peng Wang, Branka Vucetic:
Wireless-Powered Cooperative Communications via a Hybrid Relay.
Adnan Anwar, Abdun Naser Mahmood:
Swarm Intelligence Based Multi-phase OPF For Peak Power Loss Reduction In A Smart Grid.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Detection and Estimation Algorithms in Massive MIMO Systems.
Kooktae Lee, Raktim Bhattacharya:
Optimal Switching Synthesis for Jump Linear Systems with Gaussian initial state uncertainty.
Homa Hosseinmardi, Rahat Ibn Rafiq, Shaosong Li, Zhili Yang, Richard Han, Shivakant Mishra, Qin Lv:
A Comparison of Common Users across Instagram and Ask.fm to Better Understand Cyberbullying.

Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh:
A Study of Proxies for Shapley Allocations of Transport Costs.
Md. Jawaherul Alam, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Sergey Pupyrev:
Balanced Circle Packings for Planar Graphs.
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, Birgit Vogtenhuber:
Embedding Four-directional Paths on Convex Point Sets.

Neelima Gupta, Shubham Gupta:
Approximation algorithms for Capacitated Facility Location Problem with Penalties.
Thibaut Lust, Nadine Meskens, Mario Ahues:
Predicting academic success in Belgium and France Comparison and integration of variables related to student behavior.
Ruediger Willenberg, Paul Chow:
A Software Parallel Programming Approach to FPGA-Accelerated Computing.
Oren Segal, Martin Margala, Sai Rahul Chalamalasetti, Mitch Wright:
High Level Programming for Heterogeneous Architectures.
Gordon Inggs, David B. Thomas, Wayne Luk:
A Domain Specific Approach to Heterogeneous Computing: From Availability to Accessibility.
Takaaki Miyajima, David B. Thomas, Hideharu Amano:
An Automatic Mixed Software Hardware Pipeline Builder for CPU-FPGA Platforms.
Carsten Kolassa, Dirk Riehle, Michel A. Salim:
A Model of the Commit Size Distribution of Open Source.
Carsten Kolassa, Dirk Riehle, Michel A. Salim:
The Empirical Commit Frequency Distribution of Open Source Projects.
Carsten Kolassa, David Dieckow, Michael Hirsch, Uwe Creutzburg, Christian Siemers, Bernhard Rumpe:
Objektorientierte Graphendarstellung von Simulink-Modellen zur einfachen Analyse und Transformation.
Soha Farhat, Abed Ellatif Samhat, Samer Lahoud, Bernard Cousin:
Best Operator Policy in a Heterogeneous Wireless Network.
Wilko van Hoek, Philipp Mayr:
Is Evaluating Visual Search Interfaces in Digital Libraries Still an Issue?
Lorenz Minder, Thomas Sauerwald, Sven-Ake Wegner:
Asymptotic bounds on the equilateral dimension of hypercubes.
Noam Zeilberger, Alain Giorgetti:
A correspondence between rooted planar maps and normal planar lambda terms.
Rick Fritschek, Gerhard Wunder:
Upper Bounds and Duality Relations of the Linear Deterministic Sum Capacity for Cellular Systems.
Amitabha Bagchi, Maria Cristina Pinotti, Sainyam Galhotra, Tarun Mangla:
Optimal Radius for Connectivity in Duty-Cycled Wireless Sensor Networks.
Rick Fritschek, Gerhard Wunder:
Enabling the Multi-User Generalized Degrees of Freedom in the Gaussian Cellular Channel.
Jun Zhao, Osman Yagan, Virgil D. Gligor:
On Topological Properties of Wireless Sensor Networks under the q-Composite Key Predistribution Scheme with On/Off Channels.
Quan Kuang, Wolfgang Utschick, Andreas Dotzler:
Optimal Joint User Association and Resource Allocation in Heterogeneous Networks via Sparsity Pursuit.
Yangqing Jia, Evan Shelhamer, Jeff Donahue, Sergey Karayev, Jonathan Long, Ross B. Girshick, Sergio Guadarrama, Trevor Darrell:
Caffe: Convolutional Architecture for Fast Feature Embedding.
Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models (Extended Version).
Soha Farhat, Bernard Cousin, Samer Lahoud, Abed Ellatif Samhat:
Hybrid Decision Algorithm for Access Selection in Multi-operator Networks.
Michael B. Cohen, Yin Tat Lee, Cameron Musco, Christopher Musco, Richard Peng, Aaron Sidford:
Uniform Sampling for Matrix Approximation.
Michal Feldman, Nicole Immorlica, Brendan Lucier, S. Matthew Weinberg:
Reaching Consensus via non-Bayesian Asynchronous Learning in Social Networks.
Tariq Elkourdi, Osvaldo Simeone, Onur Sahin, Shlomo Shamai:
Signal and Interference Leakage Minimization in MIMO Uplink-Downlink Cellular Networks.
Aditya Gahlawat, Matthew M. Peet:
A Convex Approach to Output Feedback Control of Parabolic PDEs Using Sum-of-Squares.
Duc-Hien Nguyen, Manh-Thanh Le:
A two-stage architecture for stock price forecasting by combining SOM and fuzzy-SVM.
Xin Kang, Yeow-Khiang Chia, Sumei Sun, Hon Fah Chong:
Mobile Data Offloading through A Third-Party WiFi Access Point: An Operator's Perspective.
Duc-Hien Nguyen, Manh-Thanh Le:
Improving the Interpretability of Support Vector Machines-based Fuzzy Rules.
João F. C. Mota, Nikos Deligiannis, Miguel R. D. Rodrigues:
Compressed Sensing with Prior Information: Optimal Strategies, Geometry, and Bounds.
Nikolaos Tziortziotis, Georgios Papagiannis, Konstantinos Blekas:
A Bayesian Ensemble Regression Framework on the Angry Birds Game.
Mohammad Reza Keshtkaran, Zhi Yang:
Unsupervised Spike Sorting Based on Discriminative Subspace Learning.
Lorenzo Livi, Antonello Rizzi, Alireza Sadeghian:
Designing Labeled Graph Classifiers by Exploiting the Rényi Entropy of the Dissimilarity Representation.
Preston R. Aldrich:
The curriculum prerequisite network: a tool for visualizing and analyzing academic curricula.
Zhilei Chai, Zhibin Wang, Wenmin Yang, Shuai Ding, Yuanpu Zhang:
OpenHEC: A Framework for Application Programmers to Design FPGA-based Systems.
Anna V. Kononova, David W. Corne, Philippe De Wilde, Vsevolod Shneer, Fabio Caraffini:
Structural bias in population-based algorithms.
Carlos Barreto, Eduardo Mojica-Nava, Nicanor Quijano:
Incentives-Based Mechanism for Efficient Demand Response Programs.
Maziyar Hamdi, Grayden Solman, Alan Kingstone, Vikram Krishnamurthy:
Social Learning in a Human Society: An Experimental Study.
Javier Garcia-Bernardo, Margaret J. Eppstein:
Evolving Modular Genetic Regulatory Networks with a Recursive, Top-Down Approach.
Markus Weinhardt, Rainer Höckmann, Thomas Kinder:
High-Level Design of Portable and Scalable FPGA Accelerators.
Kentaro Sano, Hayato Suzuki, Ryo Ito, Tomohiro Ueno, Satoru Yamamoto:
Stream Processor Generator for HPC to Embedded Applications on FPGA-based System Platform.
Kimon Karras, Michaela Blott, Kees A. Vissers:
High-Level Synthesis Case Study: Implementation of a Memcached Server.
Zhensong Qian, Oliver Schulte, Yan Sun:
Computing Multi-Relational Sufficient Statistics for Large Databases.
Jiaolong Xu, Sebastian Ramos, David Vázquez, Antonio M. López:
Hierarchical Adaptive Structural SVM for Domain Adaptation.
Mário P. Véstias, Horácio C. Neto:
A Many-Core Overlay for High-Performance Embedded Computing on FPGAs.
Khalid Raza, Mansaf Alam, Rafat Parveen:
Recurrent Neural Network Based Hybrid Model of Gene Regulatory Network.
Christopher Purcell, M. Puck Rombach:
On the Complexity of Role Colouring Planar Graphs, Trees and Cographs.

Cristopher Moore, Alexander Russell:
Heat and Noise on Cubes and Spheres: The Sensitivity of Randomly Rotated Polynomial Threshold Functions.


Priyanka Verma, Nishtha Kesswani:
Web Usage mining framework for Data Cleaning and IP address Identification.
Bin Yang, Xiaohu Tang, Jie Li:
A Systematic Piggybacking Design for Minimum Storage Regenerating Codes.

Florentin Smarandache, Mumtaz Ali, Muhammad Shabir:
Soft Neutrosophic Algebraic Structures and Their Generalization.


Sanja Fidler, Marko Boben, Ales Leonardis:
Learning a Hierarchical Compositional Shape Vocabulary for Multi-class Object Representation.
Djamal Belazzougui:
Faster construction of asymptotically good unit-cost error correcting codes in the RAM model.
Dan He, Zhanyong Wang, Laxmi Parida, Eleazar Eskin:
IPED2: Inheritance Path based Pedigree Reconstruction Algorithm for Complicated Pedigrees.
Lingfei Wu, Andreas Stathopoulos:
PRIMME_SVDS: A Preconditioned SVD Solver for Computing Accurately Singular Triplets of Large Matrices based on the PRIMME Eigensolver.
Mehmet Kuzu, Mohammad Saiful Islam, Murat Kantarcioglu:
A Distributed Framework for Scalable Search over Encrypted Documents.

Adriano Peron, Carla Piazza:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 [contents]
Marco Carbone:
Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. EPTCS 162, 2014 [contents]
Jian Chen, Xiaoming Chen, Tao Liu, Lei Lei:
Energy-Efficient Power Allocation for Secure Communications in Large-Scale MIMO Relaying Systems.
Michael Fire, Thomas Chesney, Yuval Elovici:
Quantitative Analysis of Genealogy Using Digitised Family Trees.
Matias Garcia-Constantino, Paolo Missier, Philip T. Blythe, Amy Weihong Guo:
Measuring the impact of cognitive distractions on driving performance using time series analysis.
Guosheng Lin, Chunhua Shen, Anton van den Hengel:
Supervised Hashing Using Graph Cuts and Boosted Decision Trees.
Zhenyu Zhou, Sheng Zhou, Jie Gong, Zhisheng Niu:
Energy-Efficient Antenna Selection and Power Allocation for Large-Scale Multiple Antenna Systems with Hybrid Energy Supply.
Seyed Basir Shariat Razavi, Narjes Sadat Movahedi Tabrizi, Hamidreza Chitsaz, Christina Boucher:
HyDA-Vista: Towards Optimal Guided Selection of k-mer Size for Sequence Assembly.
Giacomo Parigi, Marco Piastra:
Gradient of the Objective Function for an Anisotropic Centroidal Voronoi Tessellation (CVT) - A revised, detailed derivation.
R. Sean Bowman, Douglas R. Heisterkamp, Jesse Johnson, Danielle O'Donnol:
An application of topological graph clustering to protein function prediction.
Mingzhong Cai, Rodney G. Downey, Rachel Epstein, Steffen Lempp, Joseph S. Miller:
Random strings and tt-degrees of Turing complete C.E. sets.
Kazuhisa Matsuzono, Vincent Roca, Hitoshi Asaeda:
Structured Random Linear Codes (SRLC): Bridging the Gap between Block and Convolutional Codes.
Dornoosh Zonoobi, Shahrooz Faghih Roohi, Ashraf A. Kassim:
Dependent Nonparametric Bayesian Group Dictionary Learning for online reconstruction of Dynamic MR images.
Yong Li, Qianbin Chen, Hongqing Liu, Trieu-Kien Truong:
Performance and analysis of Quadratic Residue Codes of lengths less than 100.
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.
Christian Berger, Delf Block, Christian Hons, Stefan Kühnel, André Leschke, Bernhard Rumpe, Torsten Strutz:
Meta-Metrics for Simulations in Software Engineering on the Example of Integral Safety Systems.
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
Pit Pietsch, Klaus Müller, Bernhard Rumpe:
Model Matching Challenge: Benchmarks for Ecore and BPMN Diagrams.
Dirk Reiß, Bernhard Rumpe:
Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems.
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views.
Andreas Ganser, Horst Lichter, Alexander Roth, Bernhard Rumpe:
Proactive Quality Guidance for Model Evolution in Model Libraries.
Lorna Elizabeth Wildgaard, Jesper W. Schneider, Birger Larsen:
A review of the characteristics of 108 author-level bibliometric indicators.
Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler:
Report on the First Workshop On the Globalization of Modeling Languages.
Alexander Roth, Andreas Ganser, Horst Lichter, Bernhard Rumpe:
Staged Evolution with Quality Gates for Model Libraries.
Ya-Feng Liu:
Complexity Analysis of Joint Subcarrier and Power Allocation for the Cellular Downlink OFDMA System.
Zoltán Nagy, Csaba Nemes, Antal Hiba, Árpád Csík, András Kiss, Miklós Ruszinkó, Péter Szolgay:
Accelerating unstructured finite volume computations on field-programmable gate arrays.
Vineeth S. Varma, Samson Lasaulce, Yezekael Hayel, Salah-Eddine Elayoubi:
A Cross-Layer Approach for Distributed Energy-Efficient Power Control in Interference Networks.
Mahmoud Abdelrahim, Romain Postoyan, Jamal Daafouz:
Event-triggered control of nonlinear singularly perturbed systems based only on the slow dynamics.
Mahmoud Abdelrahim, Romain Postoyan, Jamal Daafouz, Dragan Nesic:
Stabilization of nonlinear systems using event-triggered output feedback controllers.
Gottfried Hofmann, Dirk Riehle, Carsten Kolassa, Wolfgang Mauerer:
A Dual Model of Open Source License Growth.
Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer:
First-Class Variability Modeling in Matlab/Simulink.
Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer:
Engineering Delta Modeling Languages.
Saba Ahsan, Varun Singh, Jörg Ott:
Characterizing Internet Video for Large-scale Active Measurements.
Oktay Olmez, Aditya Ramamoorthy:
Fractional repetition codes with flexible repair from combinatorial designs.
Nathanael Perraudin, Johan Paratte, David I. Shuman, Vassilis Kalofolias, Pierre Vandergheynst, David K. Hammond:
GSPBOX: A toolbox for signal processing on graphs.
M. Rizwan Jameel Qureshi, Fatima Sabir:
A comparison of model view controller and model view presenter.
Rasoul Ramezanian, Mostafa Salehi, Matteo Magnani, Danilo Montesi:
Diffusion of Innovations over Multiplex Social Networks.
Maria-Florina Balcan, Vandana Kanchanapally, Yingyu Liang, David P. Woodruff:
Improved Distributed Principal Component Analysis.
Ashutosh Nayyar, Matias Negrete-Pincetic, Kameshwar Poolla, Pravin Varaiya:
Duration-differentiated Energy Services with a Continuum of Loads.
Reza Arablouei, Yih-Fang Huang, Stefan Werner, Kutluyil Dogançay:
Reduced-Communication Diffusion LMS Strategy for Adaptive Distributed Estimation.
Xiaolin Qin, Zhi Sun, Tuo Leng, Yong Feng:
Computing the determinant of a matrix with polynomial entries by approximation.


Georgios Skoumas, Dieter Pfoser, Anastasios Kyrillidis:
Location Estimation Using Crowdsourced Geospatial Narratives.
Michael A. Bekos, Martin Gronemann, Michael Kaufmann, Robert Krug:
Planar Octilinear Drawings with One Bend Per Edge.
Salvatore Talarico, Matthew C. Valenti, Thomas R. Halford:
Unicast Barrage Relay Networks: Outage Analysis and Optimization.
Abdoulaye Mbaye, Abdoul Aziz Ciss, Oumar Nian:
A Lightweight Identification Protocol for Embedded Devices.
Ashish R. Hota, Siddharth Garg, Shreyas Sundaram:
Fragility of the Commons under Prospect-Theoretic Risk Attitudes.


Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato:
On the Path-Width of Integer Linear Programming. 74-87
Christof Löding, Sarah Winter:
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. 88-101
Florian Bruse, Michael Falk, Martin Lange:
The Fixpoint-Iteration Algorithm for Parity Games. 116-130

Jason Jaskolka, Ridha Khédri:
A Formulation of the Potential for Communication Condition using C2KA. 161-174
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Deterministic Automata for Unordered Trees. 189-202
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. 203-216
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Improved Undecidability Results for Reachability Games on Recursive Timed Automata. 245-259
Shigeaki Kuzuoka, Shun Watanabe:
A Dichotomy of Functions in Distributed Coding: An Information Spectral Approach.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. 1-8
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. 9-18
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida:
Timed Runtime Monitoring for Multiparty Conversations. 19-26
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Compliance for reversible client/server interactions. 35-42
Sergey Polyakovskiy, Rudolf Berghammer, Frank Neumann:
Solving Hard Control Problems in Voting Systems via Integer Programming.
Jingchu Liu, Sheng Zhou, Jie Gong, Zhisheng Niu, Shugong Xu:
On the Statistical Multiplexing Gain of Virtual Base Station Pools.
Minming Li, Frances F. Yao, Hao Yuan:
An $O(n^2)$ Algorithm for Computing Optimal Continuous Voltage Schedules.
Shenghui Su, Tao Xie, Shuwang Lü:
A New Non-MDS Hash Function Resisting Birthday Attack and Meet-in-the-middle Attack.
Byungju Lee, Junil Choi, Ji-Yun Seol, David J. Love, Byonghyo Shim:
Antenna Grouping based Feedback Reduction for FDD-based Massive MIMO Systems.
Binnan Zhuang, Dongning Guo, Michael L. Honig:
Traffic-Driven Spectrum Allocation in Heterogeneous Networks.
Yuya Yoshikawa, Tomoharu Iwata, Hiroshi Sawada:
Collaboration on Social Media: Analyzing Successful Projects on Social Coding.
Jan Christoph Athenstädt, Tanja Hartmann, Martin Nöllenburg:
Simultaneous Embeddability of Two Partitions.
Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
Coding Schemes for a Class of Receiver Message Side Information in AWGN Broadcast Channels.
Mahmoud Abdelrahim, Romain Postoyan, Jamal Daafouz, Dragan Nesic:
Co-design of output feedback laws and event-triggering conditions for linear systems.
Marina Groshaus, André Luiz Pires Guedes, Leandro Montero:
Linear time algorithm for deciding the behavior of a graph under the iterated biclique operator.
Peter Fontana, Rance Cleaveland:
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).
Marek Bukácek, Pavel Hrabák, Milan Krbálek:
Experimental Study of Phase Transition in Pedestrian Flow.
Angelos Antonopoulos, Aris S. Lalos, Marco Di Renzo, Christos V. Verikoukis:
Cross-layer Theoretical Analysis of NC-aided Cooperative ARQ Protocols in Correlated Shadowed Environments (Extended Version).
Munib Ahmad, Fuad Bajaber, M. Rizwan Jameel Qureshi:
The proposal of a novel software testing framework.
Weam Gaoud Alghabban, M. Rizwan Jameel Qureshi:
The proposal of improved component selection framework.
Emmanuel Boidot, Aude Marzuoli, Eric Feron:
A Complete framework for ambush avoidance in realistic environments.
M. Rizwan Jameel Qureshi, Sohayp Abo Alshamat, Fatima Sabir:
Significance of the teamwork in agile software engineering.
Reza Arablouei, Kutluyil Dogançay, Stefan Werner:
Recursive Total Least-Squares Algorithm Based on Inverse Power Method and Dichotomous Coordinate-Descent Iterations.
Saja Al Qurashi, M. Rizwan Jameel Qureshi:
Scrum of scrums solution for large size teams using scrum methodology.
Afnan Salem Ba-Brahem, M. Rizwan Jameel Qureshi:
The proposal of improved inexact isomorphic graph algorithm to detect design patterns.
Dmitrijs Milajevs, Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Matthew Purver:
Evaluating Neural Word Representations in Tensor-Based Compositional Settings.
Dimitri Kartsaklis, Nal Kalchbrenner, Mehrnoosh Sadrzadeh:
Resolving Lexical Ambiguity in Tensor Regression Models of Meaning.
Maxim A. Babenko, Pawel Gawrychowski, Tomasz Kociumaka, Tatiana A. Starikovskaya:
Wavelet Trees Meet Suffix Trees.
Sujit Das, Samarjit Kar:
Consensus and Consistency Level Optimization of Fuzzy Preference Relation: A Soft Computing Approach.
Mingyu Xiao, Hiroshi Nagamochi:
Exact Algorithms for Dominating Induced Matching Based on Graph Partition.
Louis Cuel, Jacques-Olivier Lachaud, Quentin Mérigot, Boris Thibert:
Robust Geometry Estimation using the Generalized Voronoi Covariance Measure.
Shenghui Su, Shuwang Lü, Xiubin Fan, Maozhi Xu:
A Public Key Cryptoscheme Using Bit-pairs and Probabilistic Mazes.
M. Rizwan Jameel Qureshi:
Estimation of the new agile XP process model for medium-scale projects using industrial case studies.
Zhengjun Cao, Lihua Liu:
A Note on the Quantum Modular Exponentiation Method Used in Shor's Factoring Algorithm.
Sheng Huang, Dan Yang, Jia Zhou, Luwen Huangfu:
Image Classification by Sparse Representation-based Transduction.

Edith Cohen, Daniel Delling, Thomas Pajor, Renato F. Werneck:
Sketch-based Influence Maximization and Computation: Scaling up with Guarantees.




Michael J. Bannister, David Eppstein:
Crossing Minimization for 1-page and 2-page Drawings of Graphs with Bounded Treewidth.
François Rossigneux, Jean-Patrick Gelas, Laurent Lefèvre, Marcos Dias de Assunção:
A Generic and Extensible Framework for Monitoring Energy Consumption of OpenStack Clouds.
Sunny Daniels:
A constructive proof presenting languages in $Σ_2^P$ that cannot be decided by circuit families of size $n^k$.
Leonid P. Yaroslavsky:
Compression, Restoration, Re-sampling, Compressive Sensing: Fast Transforms in Digital Imaging.
Aleem Akhtar, Aamir Shafi, Mohsan Jameel:
Design and Implementation of Parallel Debugger and Profiler for MPJ Express.
Javier Insa-Cabrera, José Hernández-Orallo:
Definition and properties to assess multi-agent environments as social intelligence tests.
Luca Sanguinetti, Emil Björnson, Mérouane Debbah, Aris L. Moustakas:
Optimal Linear Precoding in Multi-User MIMO Systems: A Large System Analysis.
Jainam Doshi, Rahul Vaze:
Long term Throughput and Approximate Capacity of Transmitter-Receiver Energy Harvesting Channel with Fading.
Valentin Garnero, Ignasi Sau, Dimitrios M. Thilikos:
A linear kernel for planar red-blue dominating set.
Fariz Darari, Simon Razniewski, Werner Nutt:
Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements [Extended Version].
Andrei Barbu, Alexander Bridge, Zachary Burchill, Dan Coroian, Sven J. Dickinson, Sanja Fidler, Aaron Michaux, Sam Mussman, Siddharth Narayanaswamy, Dhaval Salvi, Lara Schmidt, Jiangnan Shangguan, Jeffrey Mark Siskind, Jarrell W. Waggoner, Song Wang, Jinlian Wei, Yifan Yin, Zhiqi Zhang:
Video In Sentences Out.
Ahmed M. Alaa, Mahmoud H. Ismail:
Achievable Degrees-of-Freedom Through Blind Interference Alignment using Staggered Antenna Switching for the K-user SISO Interference Channel.

Vincent Yun Lou, Smriti Bhagat, Laks V. S. Lakshmanan, Sharan Vaswani:
Modeling Non-Progressive Phenomena for Influence Propagation.




Amit Datta, Michael Carl Tschantz, Anupam Datta:
Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination.
Kaya Tutuncuoglu, Omur Ozel, Aylin Yener, Sennur Ulukus:
The Binary Energy Harvesting Channel with a Unit-Sized Battery.
Yuyu Zhang, Liang Pang, Lei Shi, Bin Wang:
Large Scale Purchase Prediction with Historical User Actions on B2C Online Retail Platform.
Shirin Sohrabi, Octavian Udrea, Anton V. Riabov:
Knowledge Engineering for Planning-Based Hypothesis Generation.
Avrim Blum, Yishay Mansour, Jamie Morgenstern:
Learning What's going on: reconstructing preferences and priorities from opaque transactions.
Shailesh Chaudhari, Jingy Hu, Babak Daneshrad, Jesse Chen:
Peformance Comparison Between MIMO and SISO based on Indoor Field Measurements.
Wentao Wu, Xi Wu, Hakan Hacigümüs, Jeffrey F. Naughton:
Uncertainty Aware Query Execution Time Prediction.
Nico Pietroni, Davide Tonelli, Enrico Puppo, Maurizio Froli, Roberto Scopigno, Paolo Cignoni:
Voronoi Grid-Shell Structures.
Nipun Batra, Oliver Parson, Mario Berges, Amarjeet Singh, Alex Rogers:
A comparison of non-intrusive load monitoring methods for commercial and residential buildings.
Xu Li, Dongning Guo, John Grosspietsch, Huarui Yin, Guo Wei:
Maximizing Mobile Coverage via Optimal Deployment of Base Station and Relays.

Chao Zhang, Dacheng Tao, Tao Hu, Xiang Li:
Task-group Relatedness and Generalization Bounds for Regularized Multi-task Learning.
Walter S. Lasecki, Christopher M. Homan, Jeffrey P. Bigham:
Tuning the Diversity of Open-Ended Responses from the Crowd.
Steven Chaplick, Jirí Fiala, Pim van 't Hof, Daniël Paulusma, Marek Tesar:
Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree.
Yuquan Shan, Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione:
Generation bidding game with flexible demand.


Reza Arablouei, Kutluyil Dogançay:
Performance Analysis of Linear-Equality-Constrained Least-Squares Estimation.
Marcello Farina, Luca Giulioni, Lalo Magni, Riccardo Scattolini:
An MPC approach to output-feedback control of stochastic linear discrete-time systems.
Haya Shajaiah, Ahmed Abdel-Hadi, T. Charles Clancy:
Impact of Radar and Communication Coexistence on Radar's Detectable Target Parameters.

Benjamin J. van Asten, Niels L. M. van Adrichem, Fernando A. Kuipers:
Scalability and Resilience of Software-Defined Networking: An Overview.
Zachary Abel, Erik D. Demaine, Martin L. Demaine, David Eppstein, Anna Lubiw, Ryuhei Uehara:
Flat Foldings of Plane Graphs with Prescribed Angles and Edge Lengths.
Neel Shah, Vladimir Kolmogorov, Christoph H. Lampert:
A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Structural SVMs with a Costly max-Oracle.
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova, Valery Solovyev, Nikita Zhiltsov:
Mathematical Knowledge Representation: Semantic Models and Formalisms.
Prosenjit Bose, Jean-Lou De Carufel:
Towards a General Framework for Searching on a Line and Searching on $m$ Rays.


Mohsen Zamani, Uwe Helmke, Brian D. O. Anderson:
Zeros of Networked Systems with Time-invariant Interconnections.
Rajkumar Buyya, Rodrigo N. Calheiros, Jungmin Son, Amir Vahid Dastjerdi, Young Yoon:
Software-Defined Cloud Computing: Architectural Elements and Open Challenges.

Scott A. Skirlo, Ling Lu, Marin Soljacic:
Binary matrices of optimal autocorrelations as alignment marks.
Jiannan Wang, Guoliang Li, Tim Kraska, Michael J. Franklin, Jianhua Feng:
Leveraging Transitive Relations for Crowdsourced Joins.
Mingguang Xu, Dongning Guo, Michael L. Honig:
Joint Bi-Directional Training of Nonlinear Precoders and Receivers in Cellular Networks.
Nikolaos Polatidis, Christos K. Georgiadis:
Factors Influencing the Quality of the User Experience in Ubiquitous Recommender Systems.
Denis S. Krotov, Patric R. J. Östergård, Olli Pottonen:
Non-existence of a ternary constant weight $(16, 5, 15; 2048)$ diameter perfect code.
Md. Jawaherul Alam, Stephen G. Kobourov, Sergey Pupyrev, Jackson Toeniskoetter:
Weak Unit Disk and Interval Representation of Planar Graphs.
Nikolaos Polatidis, Christos K. Georgiadis:
Mobile recommender systems: An overview of technologies and challenges.
Xavier Boix, Gemma Roig, Luc J. Van Gool:
Comment on "Ensemble Projection for Semi-supervised Image Classification".
Gan Zheng, Ioannis Krikidis, Christos Masouros, Stelios Timotheou, Dimitris-Alexandros Toumpakaris, Zhiguo Ding:
Rethinking the Role of Interference in Wireless Networks.
Mahdi Soodkhah Mohammadi, Abbas Ghaemi Bafghi:
A Privacy-Preserving Electronic Payment System for DRM.
Pui Tung Choi, Lok Ming Lui:
Fast Disk Conformal Parameterization of Simply-connected Open Surfaces.
Louis Sibomana, Hung Tran, Quang Anh Tran:
Impact of Secondary User Communication on Security Communication of Primary User.
Giacomo Bacci, Elena Veronica Belmega, Panayotis Mertikopoulos, Luca Sanguinetti:
Energy-Aware Competitive Power Allocation for Heterogeneous Networks Under QoS Constraints.
Vincenzo De Florio, Hong Sun, Mohamed Bakhouya:
Mutualistic Relationships in Service-Oriented Communities and Fractal Social Organizations.
Joan Boyar, Lene M. Favrholdt, Christian Kudahl, Jesper W. Mikkelsen:
The Advice Complexity of a Class of Hard Online Problems.
Oscar Morales Ponce, Elad Michael Schiller, Paolo Falcone:
Cooperation with Disagreement Correction in the Presence of Communication Failures.
Luiz Rodolpho Monnerat, Cláudio L. Amorim:
An effective single-hop distributed hash table with high lookup performance and low traffic overhead.
Zhen-Zhong Lan, Xuanchong Li, Alexander G. Hauptmann:
Temporal Extension of Scale Pyramid and Spatial Pyramid Matching for Action Recognition.
Fabien Lucien Gandon, Michel Buffa, Elena Cabrio, Catherine Faron-Zucker, Alain Giboin, Nhan Le Thanh, Isabelle Mirbel, Peter Sander, Andrea G. B. Tettamanzi, Serena Villata:
Challenges in Bridging Social Semantics and Formal Semantics on the Web.
Flavio Figueiredo, Marcos André Gonçalves, Jussara M. Almeida:
Improving the Effectiveness of Content Popularity Prediction Methods using Time Series Trends.
Iris Hupkens, Michael T. M. Emmerich, André H. Deutz:
Faster Computation of Expected Hypervolume Improvement.
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Cumulative Restricted Boltzmann Machines for Ordinal Matrix Data Analysis.
Urs Schreiber, Michael Shulman:
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. 109-126
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Thurstonian Boltzmann Machines: Learning from Multiple Inequalities.
Marko A. A. Boon, Ivo J. B. F. Adan, Onno J. Boxma:
A Two-Queue Polling Model with Two Priority Levels in the First Queue.
Marko A. A. Boon, Ivo J. B. F. Adan:
Mixed Gated/Exhaustive Service in a Polling Model with Priorities.
Marko A. A. Boon, Erik M. M. Winands, Ivo J. B. F. Adan, A. C. C. van Wijk:
Closed-Form Waiting Time Approximations for Polling Systems.
Marko A. A. Boon, Ivo J. B. F. Adan, Erik M. M. Winands, Doug Down:
Delays at signalised intersections with exhaustive traffic control.
Nicolas Broutin, Minmin Wang:
Cutting down $\mathbf p$-trees and inhomogeneous continuum random trees.
Marko A. A. Boon, Rob van der Mei, Erik M. M. Winands:
Waiting times in queueing networks with a single shared server.
Marko A. A. Boon, Rob van der Mei, Erik M. M. Winands:
Queueing networks with a single shared server: light and heavy traffic.
Nan Lin, Junhai Jiang, Shicheng Guo, Momiao Xiong:
Functional Principal Component Analysis and Randomized Sparse Clustering Algorithm for Medical Image Analysis.


Akihiro Fujihara, Hiroyoshi Miwa:
Homesick Lévy walk: A mobility model having Ichi-go Ichi-e and scale-free properties of human encounters.

Hiroyuki Shibata, Toshimori Honjo, Kaoru Shimizu:
Quantum key distribution over a 72 dB channel loss using ultralow dark count superconducting single-photon detectors.
Chun-Mei Zhang, Mo Li, Hong-Wei Li, Zhen-Qiang Yin, Dong Wang, Jing-Zheng Huang, Yun-Guang Han, Man-Li Xu, Wei Chen, Shuang Wang, Patcharapong Treeviriyanupab, Guang-Can Guo, Zheng-Fu Han:
Decoy state measurement-device-independent quantum key distribution based on the Clauser-Horne-Shimony-Holt inequality.
Nelson Christopher Dzupire, Yaw Nkansah-Gyekye:
A Multi-Stage Supply Chain Network Optimization Using Genetic Algorithms.
Oliver Kullmann, Xishun Zhao:
Bounds for variables with few occurrences in conjunctive normal forms.
Paul Ormerod, Rickard Nyman, R. Alexander Bentley:
Nowcasting economic and social data: when and why search engine data fails, an illustration using Google Flu Trends.
Arafat Hossain, John Canning, Sandra Ast, Peter J. Rutledge, Abbas Jamalipour:
Intelligent smartphone-based portable network diagnostics for water security Case Study realtime pH mapping of tap water.
Shaina Race, Carl Dean Meyer, Kevin Valakuzhy:
Determining the Number of Clusters via Iterative Consensus Clustering.
Jordi Luque, Bartolo Luque, Lucas Lacasa:
Speech earthquakes: scaling and universality in human voice.
Bojan Mohar, Arash Rafiey, Behruz Tayfeh-Rezaie, Hehui Wu:
Interval minors of complete bipartite graphs.
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh, Hung Hai Bui:
MCMC for Hierarchical Semi-Markov Conditional Random Fields.
Dane Taylor, Florian Klimm, Heather A. Harrington, Miroslav Kramár, Konstantin Mischaikow, Mason A. Porter, Peter J. Mucha:
Complex contagions on noisy geometric networks.
Yohsuke Murase, János Török, Hang-Hyun Jo, Kimmo Kaski, János Kertész:
Multi-layer weighted social network model.
Sarah Kendrew, Casey Deen, Nicole Radziwill, Steve Crawford, James Gilbert, Michael Gully-Santiago, Petr Kubanek:
The first SPIE software Hack Day.
Ali Faqeeh, Sergey Melnik, James P. Gleeson:
Network cloning unfolds the effect of clustering on dynamical processes.
Venkat Anantharam, François Baccelli:
The Boolean Model in the Shannon Regime: Three Thresholds and Related Asymptotics.
Waheed U. Bajwa, Dustin G. Mixon:
A Multiple Hypothesis Testing Approach to Low-Complexity Subspace Unmixing.
David García, Claudio Juan Tessone, Pavlin Mavrodiev, Nicolas Perony:
The digital traces of bubbles: feedback cycles between socio-economic signals in the Bitcoin economy.
Ramij Rahaman, Marcin Wiesniak, Marek Zukowski:
Quantum Byzantine Agreement via Hardy correlations and entanglement swapping.
Francesca Di Patti, Duccio Fanelli, Francesco Piazza:
Optimal search strategies on complex networks.
Haiping Huang, Yoshiyuki Kabashima:
Origin of the computational hardness for learning with binary synapses.
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale:
Dual characterizations for finite lattices via correspondence theory for monotone modal logic.
Onvaree Techakesari, Hendra Ishwara Nurdin:
On the Quasi-Balanceable Class of Linear Quantum Stochastic Systems.
Randal S. Olson, Patrick B. Haley, Fred C. Dyer, Christoph Adami:
Exploring the evolution of a trade-off between vigilance and foraging in group-living organisms.
Xiaojie Chen, Attila Szolnoki, Matjaz Perc:
Probabilistic sharing solves the problem of costly punishment.
Yizhen Zhang, Zihan Tan, Bhaskar Krishnamachari:
On the Meeting Time for Two Random Walks on a Regular Graph.

Rolando Trujillo-Rasua, Ismael González Yero:
k-Metric Antidimension: a Privacy Measure for Social Graphs.
Sivaraman Balakrishnan, Martin J. Wainwright, Bin Yu:
Statistical guarantees for the EM algorithm: From population to sample-based analysis.

Shan Ma, Matthew J. Woolley, Ian R. Petersen, Naoki Yamamoto:
Preparation of Pure Gaussian States via Cascaded Quantum Systems.
Petros A. Petrosyan, Nerses A. Khachatryan:
Interval Total Colorings of Complete Multipartite Graphs and Hypercubes.
Martin Takác, Jakub Marecek, Peter Richtárik:
Inequality-Constrained Matrix Completion: Adding the Obvious Helps!
Yang Cai, Constantinos Daskalakis, Christos H. Papadimitriou:
Optimum Statistical Estimation with Strategic Data Sources.
Amit G. Deshwar, Shankar Vembu, Quaid Morris:
Comparing Nonparametric Bayesian Tree Priors for Clonal Reconstruction of Tumors.
Jason Haarmann, Meg P. Murphy, Casey S. Peters, P. Christopher Staecker:
Homotopy equivalence in graph-like digital topological spaces.
Christine F. Cuskley, Martina Pugliese, Claudio Castellano, Francesca Colaiori, Vittorio Loreto, Francesca Tria:
Internal and external dynamics in language: Evidence from verb regularity in a historical corpus of English.
Romualdo Pastor-Satorras, Claudio Castellano, Piet Van Mieghem, Alessandro Vespignani:
Epidemic processes in complex networks.
Manlio De Domenico, Andrea Lancichinetti, Alex Arenas, Martin Rosvall:
Identifying modular flows on multilayer networks reveals highly overlapping organization in social systems.
Christoph Lehrenfeld, Arnold Reusken:
Optimal preconditioners for Nitsche-XFEM discretizations of interface problems.
Christoph Lehrenfeld:
The Nitsche XFEM-DG space-time method and its implementation in three space dimensions.
Andreas Dedner, Eike Hermann Müller, Robert Scheichl:
Efficient Multigrid Preconditioners for Anisotropic Problems in Geophysical Modelling.
Benjamin Albrecht:
Computing Hybridization Networks for Multiple Rooted Binary Phylogenetic Trees by Maximum Acyclic Agreement Forests.
Mikolaj Szydlarski, Laura Grigori, Radek Stompor:
Accelerating Cosmic Microwave Background map-making procedure through preconditioning.
Taiji Suzuki:
Convergence rate of Bayesian tensor estimator: Optimal rate without restricted strong convexity.
Aran Nayebi, Scott Aaronson, Aleksandrs Belovs, Luca Trevisan:
Quantum lower bound for inverting a permutation with advice.
Tom Cooney, Milán Mosonyi, Mark M. Wilde:
Strong converse exponents for a quantum channel discrimination problem and quantum-feedback-assisted communication.
Bhavya Kailkhura, Yunghsiang S. Han, Swastik Brahma, Pramod K. Varshney:
Asymptotic Analysis of Distributed Bayesian Detection with Byzantine Data.
Qianqian Xu, Jiechao Xiong, Qingming Huang, Yuan Yao:
Robust Statistical Ranking: Theory and Algorithms.
Scott A. Hale, Peter John, Helen Z. Margetts, Taha Yasseri:
Investigating Political Participation and Social Information Using Big Data and a Natural Experiment.
Laurent Lessard, Benjamin Recht, Andrew Packard:
Analysis and Design of Optimization Algorithms via Integral Quadratic Constraints.
Seunghyeon Kim, Jaeyun Sung, Mathias Foo, Yong-Su Jin, Pan-Jun Kim:
Uncovering the nutritional landscape of food.

Saleh Rahimi-Keshari, Austin P. Lund, Timothy C. Ralph:
What can quantum optics say about complexity theory?
Pengbi Cui, Ming Tang, Zhi-Xi Wu:
Message spreading in networks with stickiness and persistence: Large clustering does not always facilitate large-scale diffusion.
Lucía Isabel Passoni, Ana Lucía Dai Pra, Gustavo J. Meschino, Marcelo Guzmán, Christian Weber, Héctor Rabal, Marcelo Trivi:
Unsupervised learning segmentation for dynamic speckle activity images.
Manh Hong Duong, The Anh Han:
On the expected number of equilibria in a multi-player multi-strategy evolutionary game.
Éric Colin de Verdière, Alfredo Hubard, Arnaud de Mesmay:
Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.
Pranjal Awasthi, Afonso S. Bandeira, Moses Charikar, Ravishankar Krishnaswamy, Soledad Villar, Rachel Ward:
Relax, no need to round: integrality of clustering formulations.





Marcel Jackson, Timothy Stokes:
Monoids with tests and the algebra of possibly non-halting programs.
Jean-David Benamou, Guillaume Carlier, Quentin Mérigot, Édouard Oudet:
Discretization of functionals involving the Monge-Ampère operator.
Bharat Prabhakar, Ankur A. Kulkarni:
Dimensionality Reduction of Affine Variational Inequalities Using Random Projections.


Jouko Lehtomäki, Ilja Makkonen, Miguel A. Caro, Ari Harju, Olga Lopez-Acevedo:
Orbital-Free Density Functional Theory Implementation with the Projector Augmented-Wave Method.
Taposh Banerjee, Venugopal V. Veeravalli:
Data-Efficient Minimax Quickest Change Detection in a Decentralized System.
Stephan Werth, Katrin Stöbener, Peter Klein, Karl-Heinz Küfer, Martin Horsch, Hans Hasse:
Molecular modelling and simulation of the surface tension of real quadrupolar fluids.
Yakir A. Reshef, David N. Reshef, Pardis C. Sabeti, Michael Mitzenmacher:
Theoretical Foundations of Equitability and the Maximal Information Coefficient.
Kai Zhao, Mirco Musolesi, Pan Hui, Weixiong Rao, Sasu Tarkoma:
Explaining the Power-law Distribution of Human Mobility Through Transportation Modality Decomposition.



Ming-Yang Zhou, Zhao Zhuo, Shi-Min Cai, Zhong-Qian Fu:
Community structure revealed by phase locking.
(Withdrawn) On Periodicity and Complexity of Generalized Pseudostandard Words.
Lili Miao, Qian-Ming Zhang, Da-Chen Nie, Shi-Min Cai:
Whether Information Network Supplements Friendship Network.
Andrea Simonetto, Leon Kester, Geert Leus:
Distributed Time-Varying Stochastic Optimization and Utility-Based Communication.
Xin-She Yang, Mehmet Karamanoglu, T. O. Ting, Yuxin Zhao:
Applications and Analysis of Bio-Inspired Eagle Strategy for Engineering Optimization.
Mark M. Wilde, Joseph M. Renes, Saikat Guha:
Second-order coding rates for pure-loss bosonic channels.
Xin-She Yang, Mehmet Karamanoglu, Xingshi He:
Flower Pollination Algorithm: A Novel Approach for Multiobjective Optimization.
Iztok Fister Jr., Xin-She Yang, Dusan Fister, Iztok Fister:
Cuckoo Search: A Brief Literature Review.
Zhaoran Wang, Huanran Lu, Han Liu:
Nonconvex Statistical Optimization: Minimax-Optimal Sparse PCA in Polynomial Time.
Nathalie E. Williams, Timothy A. Thomas, Matthew Dunbar, Nathan Eagle, Adrian Dobra:
Measures of Human Mobility Using Mobile Phone Records Enhanced with GIS Data.
Daniel Godfrey, Caley Johns, Carl Dean Meyer, Shaina Race, Carol Sadek:
A Case Study in Text Mining: Interpreting Twitter Data From World Cup Tweets.
Natasha Morrison, Jonathan A. Noel, Alex Scott:
Saturation in the Hypercube and Bootstrap Percolation.
Zhiqiang You, Xiao-Pu Han, Linyuan Lü, Chi Ho Yeung:
Empirical studies on the network of social groups: the case of Tencent QQ.
Markus Demleitner, Margarida Castro Neves, Florian Rothmaier, Joachim Wambsganss:
Virtual Observatory Publishing with DaCHS.
Iasson Karafyllis, Maria Kontorinaki, Markos Papageorgiou:
Global Exponential Stabilization of Freeway Models.
F. T. Winter, Mike A. Clark, R. G. Edwards, Bálint Joó:
A Framework for Lattice QCD Calculations on GPUs.
Jian-Hong Lin, Jian-Guo Liu, Qiang Guo:
A general method for identifying node spreading influence via the adjacent matrix and spreading rate.
Ilya Korsunsky, Daniele Ramazzotti, Giulio Caravagna, Bud Mishra:
Inference of Cancer Progression Models with Biological Noise.
Vladimir Salnikov, Daniel Choi, Philippe Karamian-Surville:
On efficient and reliable stochastic generation of RVEs for analysis of composites within the framework of homogenization.
Mireille Bossy, Nadia Maïzi, Odile Pourtallier:
Game theory analysis for carbon auction market through electricity market coupling.
Florent Henri Marc Rémy Pled, Ludovic Chamoin, Pierre Ladevèze:
An enhanced method with local energy minimization for the robust a posteriori construction of equilibrated stress fields in finite element analyses.
Kamran Turkoglu:
Real-Time First Order Guidance Strategies for Trajectory Optimization in UAVs by Utilizing Wind Energy.
Tsirizo Rabenoro, Jérôme Lacaille, Marie Cottrell, Fabrice Rossi:
A Methodology for the Diagnostic of Aircraft Engine Based on Indicators Aggregation.
Ruta Mehta, Ioannis Panageas, Georgios Piliouras:
Natural Selection as an Inhibitor of Genetic Diversity: Multiplicative Weights Updates Algorithm and a Conjecture of Haploid Genetics.
Andreas Mang, George Biros:
An inexact Newton-Krylov algorithm for constrained diffeomorphic image registration.
Ayan Mahalanobis, Anupam Singh:
MOR Cryptosystem and classical Chevalley groups in odd characteristic.



Laszlo Gyongyosi:
Adaptive Quadrature Detection for Multicarrier Continuous-Variable Quantum Key Distribution.
Amir Gholami, Dhairya Malhotra, Hari Sundar, George Biros:
FFT, FMM, or MULTIGRID? A comparative study of state-of-the-art poisson solvers.
Sijia Liu, Swarnendu Kar, Makan Fardad, Pramod K. Varshney:
Sparsity-Aware Sensor Collaboration for Linear Coherent Estimation.
Uttam Bhat, Paul L. Krapivsky, Sidney Redner:
Emergence of Clustering in an Acquaintance Model without Homophily.
Junxiao Song, Prabhu Babu, Daniel Pérez Palomar:
Sparse Generalized Eigenvalue Problem via Smooth Optimization.
Ville Salo, Ilkka Törmä:
Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2.

Guodong Xie, Long Li, Yongxiong Ren, Hao Huang, Yan Yan, Nisar Ahmed, Zhe Zhao, Martin P. J. Lavery, Nima Ashrafi, Solyman Ashrafi, Moshe Tur, Andreas F. Molisch, Alan E. Willner:
Performance Metrics and Design Parameters for a Free-space Communication Link Based on Multiplexing of Multiple Orbital-Angular-Momentum Beams.
Selina Meister, Jürgen T. Stockburger, Rebecca Schmidt, Joachim Ankerhold:
Optimal control theory with arbitrary superpositions of waveforms.
Attila Szolnoki, Mauro Mobilia, Luo-Luo Jiang, Bartosz Szczesny, Alastair M. Rucklidge, Matjaz Perc:
Cyclic dominance in evolutionary games: A review.
Sarah Marzen, James P. Crutchfield:
Informational and Causal Architecture of Discrete-Time Renewal Processes.
Masahito Hayashi, Marco Tomamichel:
Composite Hypothesis Testing and an Operational Interpretation of the Renyi Mutual Information.
T. Espinosa-Ortega, T. C. H. Liew:
Perceptrons with Hebbian learning based on wave ensembles in plastic potentials.
Bo Qu, Alan Hanjalic, Huijuan Wang:
Heterogeneous Recovery Rates against SIS Epidemics in Directed Networks.
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:
Report on the Aachen OCL Meeting.
Tali Kaufman, David Kazhdan, Alexander Lubotzky:
Ramanujan Complexes and bounded degree topological expanders.
Peyman Mohajerin Esfahani, John Lygeros:
A Tractable Fault Detection and Isolation Approach for Nonlinear Systems with Probabilistic Performance.


Amit Diwadkar, Sambarta Dasgupta, Umesh Vaidya:
Control of systems in Lure form over erasure channel.
Florian Frank, Balthasar Reuter, Vadym Aizinger, Peter Knabner:
FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part I: Diffusion operator.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
